@dblp

A Universal Reactive Machine.

, , and . CONCUR, volume 1243 of Lecture Notes in Computer Science, page 89-103. Springer, (1997)

Links and resources

Tags