On the specification of elementary reactive behaviour

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-58027-1_13 ◽

1994 ◽

pp. 271-292 ◽

Author(s):

G. Michele Pinna ◽

Axel Poigné

Download Full-text