Synthesis of transition systems from quantum logics

DOI10.3233/FI-2017-1550MaRDI QIDQ4601119zbMATH OpenOpenAlexFDO

Authors Luca Bernardinello, Carlo Ferigato, Aubel Adrián Puerto, Lucia Pomello

Publication date 19 January 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2017-1550

Mathematics Subject Classification ID

Quantum logic (03G12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On stability of regional orthomodular posets
• On orthomodular posets generated by transition systems
• scientific article; zbMATH DE number 1361473
• Between quantum logic and concurrency
• Representation systems, orthoposets and quantum logic

Cited in

(6)

• Stability of regional orthomodular posets under synchronisation and refinement
• On stability of regional orthomodular posets
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• CDCL-Based Abstract State Transition System for Coherent Logic
• Quantum State Transformations and Branching Distributed Temporal Logic
• scientific article; zbMATH DE number 1361473 (Why is no real title available?)

This page was built for publication: Synthesis of transition systems from quantum logics

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