Erratum to ``On the expressiveness of higher dimensional automata

DOI10.1016/j.tcs.2006.06.024zbMath1171.68582OpenAlexW2331587071MaRDI QIDQ859846

Robert J. van Glabbeek

Publication date: 22 January 2007

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.06.024

zbMATH Keywords

Petri netscausalityexpressivenessevent structureshigher dimensional automataConcurrencyhistory preserving bisimulationST-bisimulation

Mathematics Subject Classification ID

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

Related Items

Configuration structures, event structures and Petri nets ⋮ Languages of higher-dimensional automata ⋮ Posets with interfaces as a model for concurrency ⋮ Unnamed Item ⋮ Homology of Spaces of Directed Paths in Euclidean Pattern Spaces ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Classification of dicoverings ⋮ Strictifying and taming directed paths in Higher Dimensional Automata ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ Execution spaces for simple higher dimensional automata ⋮ The geometry of conservative programs ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Pair component categories for directed spaces ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation