Between quantum logic and concurrency

MaRDI QIDQ4995147zbMATH OpenFDO

Authors Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1408.0053, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2012.6

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 7301527
• Closed sets in occurrence nets with conflicts
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
• Orthomodular Lattices in Occurrence Nets
• Closure operators and lattices derived from concurrency in posets and occurrence nets

Cited in

(5)

• A generalized modal logic in causal structures
• An algebraic model of observable properties in distributed systems
• Orthomodular Lattices in Occurrence Nets
• Synthesis of transition systems from quantum logics
• Quantaloids for concurrency

This page was built for publication: Between quantum logic and concurrency

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