Closed sets in occurrence nets with conflicts

DOI10.3233/FI-2014-1079MaRDI QIDQ5259237zbMATH OpenOpenAlexFDO

Authors Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello

Publication date 26 June 2015

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1079

zbMATH Keywords

closure operatorsconcurrency theoryorthomodular latticespartial order semantics

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Complemented lattices, orthocomplemented lattices and posets (06C15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Orthomodular Lattices in Occurrence Nets
• scientific article; zbMATH DE number 7301527
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
• scientific article; zbMATH DE number 193318

Cited in

(7)

• Orthomodular lattice in Lorentzian globally hyperbolic space-time
• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Orthomodular Lattices in Occurrence Nets
• scientific article; zbMATH DE number 3917725 (Why is no real title available?)
• Between quantum logic and concurrency
• Concurrency-preserving minimal process representation
• Building occurrence nets from reveals relations

This page was built for publication: Closed sets in occurrence nets with conflicts

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