Register-machine based processes

DOI10.1145/504794.504799zbMath1323.68401OpenAlexW2127866554MaRDI QIDQ3196631

Jan A. Bergstra, Alban Ponse

Publication date: 30 October 2015

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/504794.504799

zbMATH Keywords

iterationprocess algebraconcurrencyexpressivitycomputabilityKleene starpush-down operationbisimulation equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Branching time and orthogonal bisimulation equivalence ⋮ Execution architectures for program algebra

This page was built for publication: Register-machine based processes