Trace refinement of action systems (1994)

by R J R Back, Joakim von Wright
Venue:In CONCUR ’94: Proceedings of the Concurrency Theory