scientific article; zbMATH DE number 1088211

MaRDI QIDQ4364526zbMATH OpenFDO

Authors W. H. J. Feijen, A. J. M. van Gasteren

Publication date 15 December 1997

zbMATH Keywords

concurrent vector writingliberal phase synchronizationmultiprograms

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 1330044
• Formal derivation of an algorithm for distributed phase synchronization
• Derivation of concurrent programs: Two examples

Cited in

(16)

• A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation
• Derivation of concurrent programs: Two examples
• Design of a multi-formalism application and distribution in a data-flow context: An example
• Abstract derivation of transitive closure algorithms
• An FP-based Design Methodology for Problem-oriented Architectures
• 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 94709 (Why is no real title available?)
• scientific article; zbMATH DE number 1330044 (Why is no real title available?)
• scientific article; zbMATH DE number 1440647 (Why is no real title available?)
• Toward a theory of maximally concurrent programs (shortened version)
• Integrated Formal Methods
• Maximally concurrent programs
• Formal derivation of an algorithm for distributed phase synchronization
• Equational propositional logic
• Concurrency without toil: A systematic method for parallel program design

This page was built for publication:

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