On the specification of higher dimensional automata

DOI10.1016/S1571-0661(04)80497-3zbMATH Open1268.68122MaRDI QIDQ2841306FDOQ2841306

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)

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• The algebra of oriented simplexes
• Transition and cancellation in concurrency and branching time
• The combinatorics of n-categorical pasting
• Combinatorics of branchings in higher dimensional automata
• On the classification of dipaths in geometric models for concurrency
• Title not available (Why is that?)
• Foreword
• From concurrency to algebraic topology

Cited In (9)

• 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
• Title not available (Why is that?)
• Higher dimensional automata revisited

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)