Modal logic over higher dimensional automata

DOI10.1007/978-3-642-15375-4_34MaRDI QIDQ3584951zbMATH OpenOpenAlexFDO

Authors Cristian Prisacariu

Publication date 31 August 2010

Published in CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15375-4_34

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Partial higher-dimensional automata
• Languages of higher-dimensional automata
• On the expressiveness of higher dimensional automata
• On the specification of higher dimensional automata
• Simplicial models for trace spaces. II: General higher dimensional automata

Cited in

(6)

• ST-structures
• A dynamic deontic logic for complex contracts
• Mechanised modal model theory
• On the expressiveness of higher dimensional automata
• The glory of the past and geometrical concurrency
• On the expressiveness of higher dimensional automata (extended abstract)

This page was built for publication: Modal logic over higher dimensional automata

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