Step traces (Q5963403): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: DBLP publication ID (P1635): journals/acta/JanickiKKM16, #quickstatements; #temporary_batch_1731483406851 |
||
| Property / DBLP publication ID | |||
| Property / DBLP publication ID: journals/acta/JanickiKKM16 / rank | |||
Normal rank | |||
Revision as of 09:31, 13 November 2024
scientific article; zbMATH DE number 6543009
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
