Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards

DOI10.1007/11783596_11MaRDI QIDQ3618819zbMATH OpenOpenAlexFDO

Authors Brijesh Dongol, Arjan J. Mooij

Publication date 2 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Streamlining progress-based derivations of concurrent programs
• Derivation of concurrent programs: Two examples
• scientific article; zbMATH DE number 140005
• Extending the theory of Owicki and Gries with a logic of progress
• scientific article; zbMATH DE number 1088211

Cited in

(5)

• Invariant-based reasoning about parameterized security protocols
• Streamlining progress-based derivations of concurrent programs
• Guarded and unguarded coroutines: An implementation in BCPL
• Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS
• scientific article; zbMATH DE number 1761891 (Why is no real title available?)

This page was built for publication: Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards

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