Step traces (Q5963403)
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: Step traces |
scientific article; zbMATH DE number 6543009
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Step traces |
scientific article; zbMATH DE number 6543009 |
Statements
Step traces (English)
0 references
19 February 2016
0 references
step trace
0 references
causality
0 references
independence
0 references
simultaneity
0 references
serialisability
0 references
sequentialisability
0 references
interleaving
0 references
extending concurrency alphabets
0 references
dependence graph
0 references
dependence structure
0 references
invariant order structure
0 references
0.8754302263259888
0 references
0.86960369348526
0 references
0.8657363057136536
0 references
0.8253563642501831
0 references