R.: Sequential and Concurrent Behaviour (1987)

by E Best, Devillers
Venue:in Petri Net Theory., Theoretical Computer Science