A domain for concurrent termination a generalization of Mazurkiewicz traces (Q4645163)
From MaRDI portal
scientific article; zbMATH DE number 6999417
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A domain for concurrent termination a generalization of Mazurkiewicz traces |
scientific article; zbMATH DE number 6999417 |
Statements
A domain for concurrent termination a generalization of Mazurkiewicz traces (English)
0 references
10 January 2019
0 references
dependence graph
0 references
process algebra
0 references
trace theory
0 references
real trace
0 references
infinite word
0 references
