Zero-Safe Nets: The Individual Token Approach (1998)

Cached

Download Links

by Roberto Bruni , Ugo Montanari
Venue:Proceedings WADT'97, 12th workshop on Recent Trends in Algebraic Development Techniques, volume 1376 of Lect. Notes in Comput. Sci
Citations:13 - 13 self