Transition systems, event structures, and unfoldings

DOI10.1006/INCO.1995.1062zbMath0826.68086OpenAlexW1994522884MaRDI QIDQ1892885

P. S. Thiagarajan, Mogens Nielsen, Grzegorz Rozenberg

Publication date: 10 July 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6f49efb78772c04d83d500f7ce28868c3cb4eed7

zbMATH Keywords

elementary transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Related Items (3)

A counterexample to Thiagarajan's conjecture on regular event structures ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Stability of regional orthomodular posets under synchronisation and refinement

This page was built for publication: Transition systems, event structures, and unfoldings