Trace Refinement of Action Systems.

Ralph-Johan Back, Joakim von Wright

Browse the full CONCUR paper archive.