Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence (Q5114208)
From MaRDI portal
scientific article; zbMATH DE number 7213612
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence |
scientific article; zbMATH DE number 7213612 |
Statements
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence (English)
0 references
21 June 2020
0 references
partially ordered set
0 references
causal dependence
0 references
concurrency
0 references
Petri nets
0 references