Properties of concurrent programs

DOI10.1007/BF03259388MaRDI QIDQ1346603zbMATH OpenFDO

Authors K. Mani Chandy

Publication date 6 April 1995

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF03259388

zbMATH Keywords

concurrencyfairnessHoare triplessafetytemporal logicunity theory

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 3926232
• scientific article; zbMATH DE number 3848584
• scientific article; zbMATH DE number 194148
• scientific article; zbMATH DE number 4024756
• Concurrent Programming
• scientific article; zbMATH DE number 42962
• Nebenläufige Programme
• Concurrent program schemes and their logics
• scientific article; zbMATH DE number 1330436

Cites work

• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)

Cited in

(8)

• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
• Cheap remarks about concurrent programs
• Inter-program Properties
• High-Level Programs and Program Conditions
• scientific article; zbMATH DE number 3926232 (Why is no real title available?)
• scientific article; zbMATH DE number 1059323 (Why is no real title available?)
• Global and local space properties of stream programs
• Unity properties and sequences of states, some observations

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Properties of concurrent programs

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