Jump to Content

Asynchronously Communicating Visibly Pushdown Systems

Zvonimir Rakamaric
Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, Springer, pp. 225-242

Abstract

Research Areas