Two complete axiom systems for a theory of communicating sequential processes

DOI10.1016/S0019-9958(85)80048-6zbMath0575.68020OpenAlexW2038505412WikidataQ114656779 ScholiaQ114656779MaRDI QIDQ3694669

Rocco De Nicola

Publication date: 1985

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(85)80048-6

zbMATH Keywords

CSPdenotational semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (2)

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes ⋮ Unnamed Item

This page was built for publication: Two complete axiom systems for a theory of communicating sequential processes