A domain for concurrent termination a generalization of Mazurkiewicz traces (Q4645163)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A domain for concurrent termination a generalization of Mazurkiewicz traces |
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
