A temporal calculus of communicating systems

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039073 ◽

2006 ◽

pp. 401-415 ◽

Cited By ~ 134

Author(s):

Faron Moller ◽

Chris Tofts

Download Full-text