A universal reactive machine
From MaRDI portal
Publication:6044111
DOI10.1007/3-540-63141-0_7zbMath1512.68097OpenAlexW1764453465MaRDI QIDQ6044111
Henrik Reif Andersen, Unnamed Author, Simon Mørk
Publication date: 17 May 2023
Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63141-0_7
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
This page was built for publication: A universal reactive machine
