A LTS Semantics of Ambients via Graph Synchronization with Mobility

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto. A LTS Semantics of Ambients via Graph Synchronization with Mobility. In Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi, editors, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings. Volume 2202 of Lecture Notes in Computer Science, pages 1-16, Springer, 2001. [doi]

Authors

Gian Luigi Ferrari

This author has not been identified. Look up 'Gian Luigi Ferrari' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google

Emilio Tuosto

This author has not been identified. Look up 'Emilio Tuosto' in Google