Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705872
DOI10.1007/b106850zbMath1119.68126OpenAlexW1588712707MaRDI QIDQ5705872
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items (10)
History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ ST-structures ⋮ Languages of higher-dimensional automata ⋮ Geometric analysis of nondeterminacy in dynamical systems ⋮ Unnamed Item ⋮ The homology of partial monoid actions and Petri nets ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ Unifying behavioral equivalences of timed transition systems ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ On symmetric higher-dimensional automata and bisimilarity
This page was built for publication: Foundations of Software Science and Computational Structures