Author:
Buscemi Maria Grazia,Sassone Vladimiro
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. A. Asperti and N. Busi (1996), Mobile Petri Nets, Technical Report UBLCS 96-10, Università di Bologna.
2. G. Berry and G. Boudol (1992), The Chemical Abstract Machine, Theoretical Computer Science, 96:217–248.
3. M. Boreale, C. Fournet, and C. Laneve (1998), Bisimulations for the Join-Calculus, In Proc. PROCOMET’98, D. Gries and W.P. de Roever (Eds.), 68–86, IFIP, Chapman & Halls.
4. R. Bruni, J. Meseguer, U. Montanari, and V. Sassone (2000), Functorial Models for Petri Nets, Information and Computation. To appear.
5. C. Fournet and G. Gonthier (1996), The Reflexive Chemical Abstract Machine and the Join-Calculus, In Proc. POPL’96, 372–385, ACM.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献