scientific article
From MaRDI portal
Publication:3702500
zbMath0579.68015MaRDI QIDQ3702500
Jan Willem Klop, Jan A. Bergstra, J. V. Tucker
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent processesasynchronous communicationcommunicating processesCalculus of Communicating Systemsstimulus-response mechanism
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items
Real space process algebra, Process algebra with guards: Combining hoare logic with process algebra, Global renaming operators in concrete process algebra, Runners for interleaving algebraic effects, Issues in the design of a parallel object-oriented language, Enabling synchronous and asynchronous communications in CSP for SOC, Linda-based applicative and imperative process algebras
