Higher dimensional automata revisited
From MaRDI portal
Publication:4507892
DOI10.1017/S0960129500003169zbMath0956.68090OpenAlexW2016630244MaRDI QIDQ4507892
Publication date: 10 October 2000
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500003169
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
Declarative event based models of concurrency and refinement in psi-calculi ⋮ ST-structures ⋮ Languages of higher-dimensional automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weighted and branching bisimilarities from generalized open maps ⋮ Cut-off theorems for the \textit{PV}-model ⋮ Unique decomposition of homogeneous languages and application to isothetic regions ⋮ Streams, d-Spaces and Their Fundamental Categories ⋮ On the expressiveness of higher dimensional automata ⋮ The geometry of conservative programs ⋮ Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems ⋮ The Physical Meaning of the Holographic Principle
This page was built for publication: Higher dimensional automata revisited
