Interleaving semantics and action refinement with atomic choice (1992)

by I Czaja, R J van Glabbek, U Goltz
Venue:in “Advances in Petri Nets