scientific article; zbMATH DE number 3890707

MaRDI QIDQ3347267zbMATH OpenFDO

Authors Krzysztof R. Apt, Ernst-Rüdiger Olderog

Publication date 1984

zbMATH Keywords

impartialitylivenessParallel programs with shared variablessemanticssyntax-directed correctness proofstransformationsweak and strong fairness

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Basic results in automatic transformations of shared memory parallel programs into sequential programs
• A fair calculus of communicating systems
• Keep it fair: equivalence and composition
• scientific article; zbMATH DE number 3965428
• Temporal predicate transformers and fair termination

Cited in

(10)

• Transformations for communication fairness in CSP
• Fairness and the axioms of control predicates
• Infinite trees, markings, and well-foundedness
• Appraising fairness in languages for distributed programming
• Strong fairness and ultra metrics
• Basic results in automatic transformations of shared memory parallel programs into sequential programs
• Certifiably Sound Parallelizing Transformations
• Fairness, resources, and separation
• scientific article; zbMATH DE number 3846854 (Why is no real title available?)
• A taxonomy of fairness and temporal logic problems for Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347267)