Trace refinement of action systems (1994)

by R-J Back, J von Wright
Venue:Proc. of CONCUR’94: Concurrency Theory, volume 836 of LNCS