Synthesis of Transition Systems from Quantum Logics
From MaRDI portal
Publication:4601119
DOI10.3233/FI-2017-1550zbMath1378.68118OpenAlexW2743077126MaRDI QIDQ4601119
Aubel Adrián Puerto, Carlo Ferigato, Luca Bernardinello, 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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum logic (03G12)
Related Items (1)
This page was built for publication: Synthesis of Transition Systems from Quantum Logics