Broy, Manfred; Wirsing, Martin On the algebraic specification of finitary infinite communicating sequential processes. (English) Zbl 0512.68021 Formal description of programming concepts II, Proc. IFIP Conf., Garmisch-Partenkirchen 1982, 171-198 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68P05 Data structures 68N25 Theory of operating systems Keywords:operational semantics; mathematical semantics for closed communicating systems; virtual process Citations:Zbl 0508.00009 × Cite Format Result Cite Review PDF