ACP '95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17--18, 1995
From MaRDI portal
Publication:1392290
zbMath0895.00055MaRDI QIDQ1392290
No author found.
Publication date: 31 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
ProceedingsWorkshopSpecial issueAlgebraEindhoven (Netherlands)concurrency theoryempty processCommunicating processesACP '95
Proceedings of conferences of miscellaneous specific interest (00B25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Computable processes and bisimulation equivalence, A general conservative extension theorem in process algebras with inequalities