scientific article; zbMATH DE number 1361473

MaRDI QIDQ4699291zbMATH OpenFDO

Authors Luca Bernardinello, Lucia Pomello

Publication date 1 February 2000

zbMATH Keywords

calculus of regionscase graphsCE systemscompatibilitylabelled transition systemsorthomodular posetsquantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special categories (18B99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On orthomodular posets generated by transition systems
• Synthesis of transition systems from quantum logics
• scientific article; zbMATH DE number 3933134
• State transitions as morphisms for complete lattices
• State-transition categories

Cited in

(4)

• Jauch-Piron orthomodular posets and propositional systems: A comparison
• An algebraic model of observable properties in distributed systems
• On orthomodular posets generated by transition systems
• Synthesis of transition systems from quantum logics

This page was built for publication:

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