On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.