Publications

1.

De Nicola, R., Ferrari, G., Pugliese, R., Locality Based Linda: Programming with Explicit Localities, In Proc. TAPSOFT'97, LNCS 1214, 1997.

2.

De Nicola, R., Ferrari, G., Pugliese, R., Coordinating Mobile Agents via Blackboards and Access Rights, In Proc. COORDINATION'97, LNCS 1282, 1997.

3.

Ferrari, G., Ferro, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G., An automata based verification environment for mobile processes, In Proc. TACAS'97, LNCS 1217, 1997.

4.

Ferrari, G., Montanari, U. A Tile-Based Coordination View of Asynchronous $\pi$-calculus, In Proc. MFCS'97, LNCS 1295, 1997.

5.

Ferrari, G., Montanari, U. Tiles for Concurrent and Located Calculi. In Proc. EXPRESS'97, ENTCS 7, 1997.

6.

Gadducci, F. and Montanari, U., The Tile Model. In: Gordon Plotkin, Colin Stirling, and Mads Tofte, Eds., Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, to appear.

7.

Montanari, U. and Pistore, M., Minimal Transition Systems for History-Preserving Bisimulation. In Proc. STACS'97, LNCS 1200, 1997.

8.

Bruni, R., Montanari, U., Zero-Safe Nets, or Transition Synchronization Made Simple In Proc. EXPRESS'97, ENTCS 7, 1997.