An effective axiomatization for real time ACP

DOI10.1006/inco.1995.1151zbMath1096.68625OpenAlexW1964175003MaRDI QIDQ2508332

Steven Klusener, W. J. Fokkink

Publication date: 10 October 2006

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

Full work available at URL: https://doi.org/10.1006/inco.1995.1151

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A conservative look at operational semantics with variable binding