Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Baldan, P., Gadducci, F., Montanari, U.: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1), 85–97 (2007)
2. Lecture Notes in Computer Science;R. Bruni,2006
3. Lecture Notes in Computer Science;U. Montanari,2005
4. Bruni, R., Montanari, U.: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3), 421–468 (2004)
5. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program 60(61), 117–139 (2004)