Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!

Software Composition - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14046-4_8 ◽

2010 ◽

pp. 106-121 ◽

Cited By ~ 4

Author(s):

Kees M. van Hee ◽

Natalia Sidorova ◽

Jan Martijn van der Werf

Download Full-text