Deciding observational congruence of finite-state CCS expressions by rewriting

DOI10.1016/0304-3975(94)00074-SzbMath0874.68155OpenAlexW2006283215MaRDI QIDQ673974

Paola Inverardi, Monica Nesi

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00074-s

zbMATH Keywords

term rewritingobservational congruence

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Infinite normal forms for non-linear term rewriting systems

Cites Work

• A note on the notation of recursion in process algebras
• A rewriting strategy to verify observational congruence
• A calculus of communicating systems
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Conditional rewriting logic as a unified model of concurrency
• A complete axiomatisation for observational congruence of finite-state behaviours
• Testing equivalences for processes
• Algebraic laws for nondeterminism and concurrency
• Branching time and abstraction in bisimulation semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item