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

R.J.R. Back, Heikki Mannila

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)47-68
JournalTheoretical Computer Science
Volume39
DOIs
Publication statusPublished - 1985
MoE publication typeA1 Journal article-refereed

Cite this