An algebraic model of observable properties in distributed systems
From MaRDI portal
Publication:1853608
DOI10.1016/S0304-3975(02)00046-4zbMath1019.68004MaRDI QIDQ1853608
Lucia Pomello, Luca Bernardinello, Carlo Ferigato
Publication date: 21 January 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Distributed systems (68M14)
Related Items (5)
A generalized modal logic in causal structures ⋮ Transition systems without transitions ⋮ Stability of regional orthomodular posets under synchronisation and refinement ⋮ On Orthomodular Posets Generated by Transition Systems ⋮ Topics in region theory and synthesis problems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Semantic alternatives in partial Boolean quantum logic
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Elementary transition systems
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- Orthomodular lattices admitting no states
This page was built for publication: An algebraic model of observable properties in distributed systems
