On Orthomodular Posets Generated by Transition Systems
From MaRDI portal
Publication:2825351
DOI10.1016/j.entcs.2011.01.013zbMath1347.68253WikidataQ113318324 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
06C15: Complemented lattices, orthocomplemented lattices and posets
03G12: Quantum logic
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