scientific article; zbMATH DE number 7301527

MaRDI QIDQ5146648zbMATH OpenFDO

Authors Luca Bernardinello, Stefania Rombolà, Lucia Pomello

Publication date 26 January 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2009.2

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)

Recommendations

• Publication:4955602
• Some properties of congruence relations on orthomodular lattices
• Implications and equivalences in orthomodular lattices
• Orthomodular lattices and permutable congruences
• Relatively orthomodular lattices
• Orthomodular lattices and quantales
• scientific article; zbMATH DE number 1471993
• Conditional associativity in orthomodular lattices
• scientific article; zbMATH DE number 1390498
• Congruence relations on lattice implication algebras

Cited in

(10)

• New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions
• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Orthomodular Lattices in Occurrence Nets
• Between quantum logic and concurrency
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
• Closed sets in occurrence nets with conflicts
• Regular orthomodular posets
• scientific article; zbMATH DE number 3917725 (Why is no real title available?)
• Concurrency-preserving minimal process representation
• A generalized modal logic in causal structures

This page was built for publication:

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