On the suitability of trace semantics for modular proofs of communicating processes (full version)

Reference:

R.J.R. Back and Heikki Mannila. On the suitability of trace semantics for modular proofs of communicating processes (full version). Theoretical Computer Science, 39:47–68, 1985.

Suggested BibTeX entry:

@article{bmtcs,
    author = {R.J.R. Back and Heikki Mannila},
    journal = {Theoretical Computer Science},
    pages = {47-68},
    title = {On the suitability of trace semantics for modular proofs of communicating processes (full version)},
    volume = {39},
    year = {1985},
}