Ralph-Johan Back, Heikki Mannila. On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theoretical Computer Science, 39:47-68, 1985.
@article{BackM85,
title = {On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes},
author = {Ralph-Johan Back and Heikki Mannila},
year = {1985},
tags = {semantics},
researchr = {https://researchr.org/publication/BackM85},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {39},
pages = {47-68},
}