Ralph-Johan Back, Heikki Mannila. On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theoretical Computer Science, 39:47-68, 1985.
No references recorded for this publication.
No citations of this publication recorded.