Author:
Busi Nadia,Gorrieri Roberto
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference50 articles.
1. T. Agerwala, A complete model for representing the coordination of asynchronous processes, Hopkins Computer Research Report 32, John Hopkins University, 1974.
2. The chemical abstract machine;Berry;Theoret. Comput. Sci.,1992
3. A unified model for nets and process algebras;Best,2001
4. M. Boreale, D. Sangiorgi, A fully abstract semantics of causality in the π-calculus, Acta Inform. 35 (5) (1998) 353–400. An extended abstract appeared in Proc. STACS’95, LNCS 900, Springer, 1995, pp. 243–254.
5. Analysis issues in Petri nets with inhibitor arcs;Busi;Theoret. Comput. Sci.,2002
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mapping Petri Nets onto a Calculus of Context-Aware Ambients;Software;2024-07-18
2. Introduction;Paradigms of Concurrency;2022
3. Extensional Petri net;Formal Aspects of Computing;2019-02-12
4. AN INTENSIONALLY FULLY-ABSTRACT SHEAF MODEL FOR pi (expanded version);LOG METH COMPUT SCI;2017
5. Process Algebras for Petri Nets;Monographs in Theoretical Computer Science. An EATCS Series;2017