On the suitability of trace semantics for modular proofs of communicating processes

Reference:

R.J.R. Back and Heikki Mannila. On the suitability of trace semantics for modular proofs of communicating processes. In Third Conference on Foundations of Software Technology and Theoretical Computer Science, pages 40–65, 1983.

Suggested BibTeX entry:

@inproceedings{bm3,
    author = {R.J.R. Back and Heikki Mannila},
    booktitle = {Third Conference on Foundations of Software Technology and Theoretical Computer Science},
    pages = {40-65},
    title = {On the suitability of trace semantics for modular proofs of communicating processes},
    year = {1983},
}