scientific article; zbMATH DE number 3846836

MaRDI QIDQ3316557zbMATH OpenFDO

Authors Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi

Publication date 1982

zbMATH Keywords

loopsnested fair selectionnondeterministic and concurrent programstotal correctness

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Fair termination revisited - with delay
• Progress measures and stack assertions for fair termination
• Termination of Fair Computations in Term Rewriting
• Temporal predicate transformers and fair termination
• scientific article; zbMATH DE number 3890705

Cited in

(10)

• Ten years of Hoare's logic: A survey. II: Nondeterminism
• An investigation of controls for concurrent systems based on abstract control languages
• Temporal predicate transformers and fair termination
• scientific article; zbMATH DE number 3890705 (Why is no real title available?)
• Fair Cooperative Multithreading
• scientific article; zbMATH DE number 3965428 (Why is no real title available?)
• Fairness and Correctness in Case of a Premature Abort
• Semantic models for total correctness and fairness
• Fair termination revisited - with delay
• 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 Q3316557)