On guarded recursion

DOI10.1016/0304-3975(91)90231-PzbMath0728.68079MaRDI QIDQ805246

Philippe Darondeau, Eric Badouel

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

process algebrasrecursive terms

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

GSOS and finite labelled transition systems, Bisimulation on speed: Lower time bounds, Bisimulation on speed: Worst-case efficiency, Bisimulation on speed: a unified approach, Vertical implementation

Cites Work

• Unnamed Item
• A calculus of communicating systems
• A structural approach to operational semantics