scientific article

zbMath0623.68022MaRDI QIDQ3761679

Rob Gerth, Andy Boucher

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synchronizationconcurrencycommunicating sequential processesbroadcast constructtime-action relationstime-out mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Sound reasoning in \textit{tock}-CSP, Real time process algebra, Compositional semantics for real-time distributed computing, An algebraic framework for developing and maintaining real-time systems, On continuous time agents, A brief history of Timed CSP, Semantic models of a timed distributed dataspace architecture, TIC: a tImed calculus, The timed failures -- Stability model for CSP, An efficiency preorder for processes