Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!. In Benoit Baudry, Eric Wohlstadter, editors, Software Composition, 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings. Volume 6144 of Lecture Notes in Computer Science, pages 106-121, Springer, 2010. [doi]

Abstract

Abstract is missing.