Author:
Kochems Jonathan,Ong C. -H. Luke
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Babic, D., Rakamaric, Z.: Asynchronously communicating visibly pushdown systems. Technical Report UCB/EECS-2011-108, UC Berkeley (2011)
2. Bouajjani, A., Emmi, M.: Analysis of recursively parallel programs. In: POPL, pp. 203–214 (2012)
3. Lecture Notes in Computer Science;A. Bouajjani,2012
4. Lecture Notes in Computer Science;A. Bouajjani,2005
5. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献