Trace refinement of action systems (1994)

by R J R Back, J von Wright
Venue:Proc. 5th International Conference on Concurrency Theory (CONCUR’94), LNCS 836