Derivation of concurrent programs: Two examples

DOI10.1016/0167-6423(92)90002-SMaRDI QIDQ1199832zbMATH OpenFDO

Authors Edgar Knapp

Publication date 17 January 1993

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(92)90002-S

zbMATH Keywords

asynchronous fixpoint computationconcurrent programmingparallel linear searchUNITY specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 140005
• DUALITY: A simple formalism for the analysis of UNITY
• Logical foundations for compositional verification and development of concurrent programs in UNITY
• Specifying concurrent objects as communicating processes
• scientific article; zbMATH DE number 1088211

Cited in

(11)

• The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
• DUALITY: A simple formalism for the analysis of UNITY
• Computing with multiple discrete flows
• Streamlining progress-based derivations of concurrent programs
• Formal approach to derivation of concurrent implementations in software product lines
• Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
• scientific article; zbMATH DE number 1088211 (Why is no real title available?)
• Logical foundations for compositional verification and development of concurrent programs in UNITY
• Elucidating concurrent algorithms via layers of abstraction and reification
• Derivation of efficient parallel programs: An example from genetic sequence analysis

This page was built for publication: Derivation of concurrent programs: Two examples

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