A Hierarchy of Implementable MSC Languages

Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Lecture Notes in Computer Science ◽

10.1007/11562436_6 ◽

2005 ◽

pp. 53-67 ◽

Cited By ~ 3

Author(s):

Benedikt Bollig ◽

Martin Leucker

Download Full-text