Author:
Montanari Ugo,Pistore Marco
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus. Theoretical Computer Science 192(2), 291–324 (1998)
2. Dam, M.: On the decidability of process equivalences for the π-calculus. Theoretical Computer Science 183(2), 215–228 (1997)
3. Lecture Notes in Computer Science;G. Ferrari,1997
4. Gnesi, S., Ristori, G.: A model checking algorithm for π-calculus agents. In: Proc. ICTL 1997. Kluwer Academic Publishers, Dordrecht (1997)
5. Lecture Notes in Computer Science;K. Honda,1992
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Local Model Checking in a Logic for True Concurrency;Lecture Notes in Computer Science;2017
2. A general account of coinduction up-to;Acta Informatica;2016-06-25
3. Soundness of data-aware, case-centric processes;International Journal on Software Tools for Technology Transfer;2016-03-15
4. Modeling Actor Systems Using Dynamic I/O Automata;Lecture Notes in Computer Science;2016
5. Nominal Kleene Coalgebra;Automata, Languages, and Programming;2015