126
click to vote
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...