scientific article; zbMATH DE number 1361473

zbMATH Open0934.18005MaRDI QIDQ4699291FDOQ4699291

Authors: Luca Bernardinello, Lucia Pomello 

Publication date: 1 February 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

quantum logiccompatibilitylabelled transition systemsorthomodular posetscase graphscalculus of regionsCE systems

Mathematics Subject Classification ID

Quantum logic (03G12) 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) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cited In (4)

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

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)