Erratum to ``On the expressiveness of higher dimensional automata
From MaRDI portal
Publication:859846
DOI10.1016/j.tcs.2006.06.024zbMath1171.68582MaRDI QIDQ859846
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
Petri nets; causality; expressiveness; event structures; higher dimensional automata; Concurrency; history preserving bisimulation; ST-bisimulation
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Homology of Spaces of Directed Paths in Euclidean Pattern Spaces, Unnamed Item, The geometry of conservative programs, Languages of higher-dimensional automata, Strictifying and taming directed paths in Higher Dimensional Automata, Simplicial models for trace spaces. II: General higher dimensional automata, Execution spaces for simple higher dimensional automata, Configuration structures, event structures and Petri nets, Classification of dicoverings, Connectivity of spaces of directed paths in geometric models for concurrent computation, Homology of spaces of directed paths on Euclidean cubical complexes, Spaces of directed paths on pre-cubical sets II, Pair component categories for directed spaces, Posets with interfaces as a model for concurrency