Invariant structures and dependence relations (Q4601146)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6827728
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Invariant structures and dependence relations |
scientific article; zbMATH DE number 6827728 |
Statements
Invariant Structures and Dependence Relations (English)
0 references
19 January 2018
0 references
step trace
0 references
step alphabet
0 references
dependence graph
0 references
partial order
0 references
invariant structure
0 references
simultaneity
0 references
serialisability
0 references
sequentialisability
0 references
interleaving
0 references
mutual exclusion
0 references
synthesis
0 references
0.9335067868232728
0 references
0.8653314113616943
0 references
0.8631026744842529
0 references
0.7753629088401794
0 references
