Closed Sets in Occurrence Nets with Conflicts (Q5259237)
From MaRDI portal
scientific article; zbMATH DE number 6451122
Language | Label | Description | Also known as |
---|---|---|---|
English | Closed Sets in Occurrence Nets with Conflicts |
scientific article; zbMATH DE number 6451122 |
Statements
Closed Sets in Occurrence Nets with Conflicts (English)
0 references
26 June 2015
0 references
concurrency theory
0 references
partial order semantics
0 references
closure operators
0 references
orthomodular lattices
0 references