%0 Journal Article %1 journals/tcs/BackM85 %A Back, Ralph-Johan %A Mannila, Heikki %D 1985 %J Theor. Comput. Sci. %K dblp %P 47-68 %T On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. %U http://dblp.uni-trier.de/db/journals/tcs/tcs39.html#BackM85 %V 39

@article{journals/tcs/BackM85, added-at = {2021-02-17T00:00:00.000+0100}, author = {Back, Ralph-Johan and Mannila, Heikki}, biburl = {https://www.bibsonomy.org/bibtex/281e2e5c577a2a35b3e6020ad77a35f5d/dblp}, ee = {https://doi.org/10.1016/0304-3975(85)90130-6}, interhash = {8970316487b216f65b8fd527ceeb97cc}, intrahash = {81e2e5c577a2a35b3e6020ad77a35f5d}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {47-68}, timestamp = {2024-04-08T18:38:33.000+0200}, title = {On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs39.html#BackM85}, volume = 39, year = 1985 }