×

zbMATH — the first resource for mathematics

Processes and the denotational semantics of concurrency. (English) Zbl 0508.68011

MSC:
68N25 Theory of operating systems
68Q55 Semantics in the theory of computing
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDF BibTeX XML Cite
Full Text: DOI