Asynchronously Communicating Visibly Pushdown Systems

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38592-6_16 ◽

2013 ◽

pp. 225-241 ◽

Author(s):

Domagoj Babić ◽

Zvonimir Rakamarić

Download Full-text