On the Specification of Higher Dimensional Automata
From MaRDI portal
Publication:2841306
DOI10.1016/S1571-0661(04)80497-3zbMath1268.68122MaRDI QIDQ2841306
Richard Buckland, Dominic Verity, Michael Johnson
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
- The combinatorics of n-categorical pasting
- The algebra of oriented simplexes
- Transition and cancellation in concurrency and branching time
- Foreword
- On the classification of dipaths in geometric models for concurrency
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On the Specification of Higher Dimensional Automata
