Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.68583OpenAlexW2234185834MaRDI QIDQ5898149

Robert J. van Glabbeek

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11601548

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Characteristic invariants in Hennessy-Milner logic ⋮ Just testing ⋮ Unnamed Item ⋮ Unique solutions of contractions, CCS, and their HOL formalisation ⋮ Axiomatizing weak simulation semantics over BCCSP ⋮ On cool congruence formats for weak bisimulations ⋮ Axiomatizing Weak Ready Simulation Semantics over BCCSP

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity