On Orthomodular Posets Generated by Transition Systems

DOI10.1016/j.entcs.2011.01.013zbMath1347.68253OpenAlexW1978735476WikidataQ113318324 ScholiaQ113318324MaRDI QIDQ2825351

Luca Bernardinello, Stefania Rombolà, Lucia Pomello

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.013

zbMATH Keywords

Petri netsquantum logicconcurrencyorthomodular posets

Mathematics Subject Classification ID

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

Cites Work

• Partial (set) 2-structures. II: State spaces of concurrent systems
• State-transition structures in physics and in computation
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Causal logic of Minkowski space
• Mathematical aspects of net theory
• An algebraic model of observable properties in distributed systems

This page was built for publication: On Orthomodular Posets Generated by Transition Systems