No label defined (Q4436360)
From MaRDI portal
scientific article; zbMATH DE number 2013193
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2013193 |
Statements
4 December 2003
0 references
causality based models of concurrency
0 references
Petri nets
0 references
calculus oriented models of concurrency
0 references
process algebras
0 references
unified behavioural semantics of causality
0 references
causality based algebra
0 references
causal calculi based on nets
0 references