Two complete axiom systems for a theory of communicating sequential processes

DOI10.1016/S0019-9958(85)80048-6MaRDI QIDQ3694669zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Cited in

(3)

• A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
• scientific article; zbMATH DE number 4062561 (Why is no real title available?)
• scientific article; zbMATH DE number 4001462 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3694669)