Author:
Demangeon Romain,Hirschkoff Daniel,Sangiorgi Davide
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;R. Amadio,2009
2. Lecture Notes in Computer Science;F. Blanqui,2004
3. Lecture Notes in Computer Science;G. Boudol,2007
4. Lecture Notes in Computer Science;R. Demangeon,2008
5. Demangeon, R., Hirschkoff, D., Sangiorgi, D.: Appendix to this paper, proofs (2010),
http://www.cs.unibo.it/~sangio/
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Termination in Concurrency, Revisited;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. Causal computational complexity of distributed processes;Information and Computation;2023-01
3. Eager functions as processes;Theoretical Computer Science;2022-04
4. Intersection types and runtime errors in the pi-calculus;Proceedings of the ACM on Programming Languages;2019-01-02
5. DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS;LOG METH COMPUT SCI;2019