On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes (1982)

by R J R BACK, H MANNILA