Brookes, Stephen D. On the relationship of CCS and CSP. (English) Zbl 0516.68024 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 83-96 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 17 Documents MSC: 68N25 Theory of operating systems Keywords:calculus of communicating systems; communicating sequential processes; equivalence relation on synchronisation trees; failure equivalence; observation equivalence PDF BibTeX XML