On the specification of higher dimensional automata

DOI10.1016/S1571-0661(04)80497-3MaRDI QIDQ2841306zbMATH OpenFDO

Authors Richard Buckland, Michael Johnson, Dominic Verity

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Simplicial models for trace spaces. II: General higher dimensional automata
• Topological abstraction of higher-dimensional automata
• Execution spaces for simple higher dimensional automata
• Foundations of Software Science and Computational Structures
• Languages of higher-dimensional automata

Cites work

• scientific article; zbMATH DE number 2086216 (Why is no real title available?)
• scientific article; zbMATH DE number 1799498 (Why is no real title available?)
• Combinatorics of branchings in higher dimensional automata
• Foreword
• From concurrency to algebraic topology
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• On the classification of dipaths in geometric models for concurrency
• The algebra of oriented simplexes
• The combinatorics of n-categorical pasting
• Transition and cancellation in concurrency and branching time

Cited in

(9)

• scientific article; zbMATH DE number 2143010 (Why is no real title available?)
• Higher dimensional automata revisited
• Extraction of concurrent processes from higher dimensional automata
• Unifying Equivalences for Higher Dimensional Automata
• On the expressiveness of higher dimensional automata
• Languages of higher-dimensional automata
• Weak morphisms of higher dimensional automata
• Modal logic over higher dimensional automata
• Higher-dimensional automata modeling shared-variable systems

This page was built for publication: On the specification of higher dimensional automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841306)