On a method for the formal design of multiprograms
From MaRDI portal
Recommendations
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: On a method for the formal design of multiprograms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364526)
