Specification-Oriented Semantics for Communicating Processes - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ernst-Rüdiger Olderog, C. A. R. Hoare. Specification-Oriented Semantics for Communicating Processes. Acta Informatica, 23(1):9-66, 1986.

The following publications are possibly variants of this publication:

Specification-Oriented Semantics for Communicating ProcessesErnst-Rüdiger Olderog, C. A. R. Hoare. icalp 1983: 561-572

Separation Logic Semantics for Communicating ProcessesTony Hoare, Peter W. O Hearn. ENTCS, 212:3-25, 2008. [doi]

Process Theory: Semantics, Specification and VerificationErnst-Rüdiger Olderog. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Current Trends in Concurrency, Overviews and Tutorials. Volume 224 of Lecture Notes in Computer Science, pages 442-509, Springer, 1986.

runs on WebDSL