Stability of regional orthomodular posets under synchronisation and refinement
From MaRDI portal
Publication:2032837
DOI10.1007/978-3-662-63079-2_3zbMath1464.68221OpenAlexW3132396939MaRDI QIDQ2032837
Aubel Adrián Puerto, Stefano Gandelli, Federica Adobbati, Carlo Ferigato
Publication date: 14 June 2021
Full work available at URL: https://doi.org/10.1007/978-3-662-63079-2_3
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complemented lattices, orthocomplemented lattices and posets (06C15)
Related Items (1)
Cites Work
- Unnamed Item
- Petri net synthesis
- Partial (set) 2-structures. I: Basic notions and the representation problems
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Elementary transition systems
- Amalgamation of ortholattices
- An algebraic model of observable properties in distributed systems
- Transition systems, event structures, and unfoldings
- Stability of regional orthomodular posets under synchronisation and refinement
- On stability of regional orthomodular posets
- Synthesis of Transition Systems from Quantum Logics
- Operational Statistics. I. Basic Concepts
- Operational statistics. II. Manuals of operations and their logics
This page was built for publication: Stability of regional orthomodular posets under synchronisation and refinement