Author:
Bruni Roberto,Melgratti Hernán,Montanari Ugo
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Inform. and Comput. 148(1), 1–70 (1999)
2. Asperti, A., Busi, N.: Mobile petri nets. Technical Report UBLCS96-10, University of Bologna (May 1996
3. Lecture Notes in Computer Science;P. Baldan,2002
4. Best, E., Devillers, R., Hall, J.: The Petri Box Calculus: A new causal algebra with multi-label communication. 609, 21–69 (1992)
5. Lecture Notes in Computer Science;L. Bocchi,2003
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Overview of Reconfigurable Petri Nets;Graph Transformation, Specifications, and Nets;2018
2. On Negotiation as Concurrency Primitive;CONCUR 2013 – Concurrency Theory;2013
3. Models of Computation: A Tribute to Ugo Montanari’s Vision;Concurrency, Graphs and Models;2008
4. Coordination: Reo, Nets, and Logic;Formal Methods for Components and Objects;2008
5. Non-sequential Behaviour of Dynamic Nets;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006