scientific article; zbMATH DE number 3890705

MaRDI QIDQ3347265zbMATH OpenFDO

Authors Orna Grumberg, Nissim Francez, Shmuel Katz

Publication date 1984

zbMATH Keywords

concurrencyequifairnessinvariantlogics and meanings of programsnon-determinismordinalsproof rulestrong equifair-termination

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A complete rule for equifair termination
• Complete proof rules for strong fairness and strong extreme fairness
• scientific article; zbMATH DE number 3972158
• Fair termination revisited - with delay
• scientific article; zbMATH DE number 3846836

Cited in

(5)

• A complete rule for equifair termination
• Fairness and communication-based semantics for session-typed languages
• scientific article; zbMATH DE number 3846836 (Why is no real title available?)
• A proof rule for fair termination of guarded commands
• Complete proof rules for strong fairness and strong extreme fairness

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 Q3347265)