Tiles for Concurrent and Located Calculi (1997)

by G L Ferrari, U Montanari
Venue:Eds., Proceedings of EXPRESS'97. ENTCS 7