Semantics of nondeterministic and noncontinuous constructs

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014683 ◽

2005 ◽

pp. 553-592 ◽

Cited By ~ 25

Author(s):

M. Broy ◽

R. Gnatz ◽

M. Wirsing

Download Full-text