Constraining interference in an object-based design method
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 136-150
- https://doi.org/10.1007/3-540-56610-4_61
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- A layered semantics for a parallel object-oriented languageFormal Aspects of Computing, 1992
- A Theory of State-based Parallel Programming: Part 1Published by Springer Nature ,1991
- Action systems and action refinement in the development of parallel systemsPublished by Springer Nature ,1991
- Formal techniques for parallel object-oriented languagesPublished by Springer Nature ,1991
- A method for the development of totally correct shared-state parallel programsPublished by Springer Nature ,1991
- Using transformations to verify parallel programsPublished by Springer Nature ,1991
- Parallel Program DesignPublished by Springer Nature ,1989
- Laws of programmingCommunications of the ACM, 1987
- ReductionCommunications of the ACM, 1975