Author:
Jategaonkar Jagadeesan Lalita,Jagadeesan Radha
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. S. Abramsky and R. Jagadeesan. New foundations for the geometry of interaction. Information and Computation, 111(1):53–119, 1994.
2. Samson Abramsky. A generalized Kahn principle for abstract asynchronous networks. In Mathematical Foundations of Programming Semantics, pages 1–21. Springer-Verlag, 1989. Lecture Notes in Computer Science Vol. 442.
3. L. Aceto and M. Hennessy. Towards action-refinement in process algebras. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, pages 138–145. IEEE Computer Society Press, 1989.
4. M. Boreale and S. Sangiorgi. A fully abstract semantics for causality in the π-calculus. Technical report, University of Edinburgh, 1994. Tec. Rep.ECS-LFCS-94-297.
5. G. Boudol, I. Castellani, Matthew C. Hennessy, and A. Kiehn. A theory of processes with localities. In Proceedings of International Conference on Concurrency Theory, Volume 630 of Lecture Notes in Computer Science, pages 108–122, 1992.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis and Analysis of Petri Nets from Causal Specifications;Computer Aided Verification;2022
2. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14
3. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
4. A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus;Lecture Notes in Computer Science;2017
5. A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus;Language and Automata Theory and Applications;2017