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)

zbMATH Keywords

fairnessconcurrencytemporal logicsafetyHoare triplesunity 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

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

Cited in

(6)

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

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)