Streamlining progress-based derivations of concurrent programs

DOI10.1007/s00165-007-0037-4zbMath1141.68025OpenAlexW2068520368MaRDI QIDQ2481207

Brijesh Dongol, Arjan J. Mooij

Publication date: 9 April 2008

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

Full work available at URL: https://espace.library.uq.edu.au/view/UQ:7824/attachcover.pdf

zbMATH Keywords

Program derivationMathematical techniquesProgressConcurrent programs

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)

Related Items (2)

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ Invariant-based reasoning about parameterized security protocols

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Myths about the mutual exclusion problem
• Automatic discovery of mutual exclusion algorithms
• Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
• Extending the theory of Owicki and Gries with a logic of progress

This page was built for publication: Streamlining progress-based derivations of concurrent programs