An algebraic model of observable properties in distributed systems

DOI10.1016/S0304-3975(02)00046-4MaRDI QIDQ1853608zbMATH OpenFDO

Authors Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Publication date 21 January 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

quantum logicconcurrency theoryorthomodular posetsBoolean subalgebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Distributed systems (68M14)

Recommendations

• On orthomodular posets generated by transition systems
• Stability of regional orthomodular posets under synchronisation and refinement
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
• scientific article; zbMATH DE number 4041280
• Between quantum logic and concurrency

Cites work

• scientific article; zbMATH DE number 1820089 (Why is no real title available?)
• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 1361473 (Why is no real title available?)
• Elementary transition systems
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Orthomodular lattices admitting no states
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Semantic alternatives in partial Boolean quantum logic

Cited in

(5)

• Topics in region theory and synthesis problems
• Transition systems without transitions
• Stability of regional orthomodular posets under synchronisation and refinement
• A generalized modal logic in causal structures
• On orthomodular posets generated by transition systems

This page was built for publication: An algebraic model of observable properties in distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853608)