A Petri net semantics for π-calculus-Reference-Cited by-同舟云学术

A Petri net semantics for π-calculus

Published:1995 Issue: Volume: Page:145-159
ISSN:0302-9743
Container-title:CONCUR '95: Concurrency Theory
language:
Short-container-title:

Author:

Busi Nadia,Gorrieri Roberto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60218-6_11.pdf

Reference19 articles.

1. G. Berry, G. Boudol, “The Chemical Abstract Machine”, Theoretical Computer Science 96, 217–248, 1992.

2. M. Boreale, D. Sangiorgi, “A fully abstract semantics of causality in the π-calculus”, Technical Report ECS-LFCS-94-297, 1994.

3. N. Busi, R. Gorrieri, “Distributed Conflicts in Communicating Systems”, UBLCS-TR-94-08, April 1994. in Proc. Workshop on Models and Languages for Coordination of Parallelism and Distribution, LNCS 924, Springer, 1995.

4. Ph. Darondeau, P. Degano, “Causal Trees”, in Proc. ICALP'89, LNCS 372, Springer, 234–248, 1989.

5. P. Degano, R. De Nicola, U. Montanari, “A Distributed Operational Semantics for CCS based on C/E Systems”, Acta Informatica 26, 59–91, 1988.

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14

2. Extensional Petri net;Formal Aspects of Computing;2019-02-12

3. A Parametric Framework for Reversible Pi-Calculi;Electronic Proceedings in Theoretical Computer Science;2018-08-24

4. Translating Active Objects into Colored Petri Nets for Communication Analysis;Fundamentals of Software Engineering;2017

5. AN INTENSIONALLY FULLY-ABSTRACT SHEAF MODEL FOR pi (expanded version);LOG METH COMPUT SCI;2017