Livelocks in parallel programs (Q5904921): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q126245983, #quickstatements; #temporary_batch_1718130780407 |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Proving assertions about parallel programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comments on prevention of system deadlocks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel program schemata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel Program Schemata and Maximal Parallelism I. Fundamental Results / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal verification of parallel programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving the Correctness of Multiprocess Programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal derivation of strongly correct concurrent programs / rank | |||
Normal rank |
Latest revision as of 14:12, 13 June 2024
scientific article; zbMATH DE number 3740746
Language | Label | Description | Also known as |
---|---|---|---|
English | Livelocks in parallel programs |
scientific article; zbMATH DE number 3740746 |
Statements
Livelocks in parallel programs (English)
0 references
1981
0 references
parallel program
0 references
deadlock
0 references
livelock
0 references
correctness
0 references
verification
0 references