Accommodating interference in the formal design of concurrent object-based programs
- 1 March 1996
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 8 (2) , 105-122
- https://doi.org/10.1007/bf00122417
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Composition of assumption-commitment specifications in a UNITY styleScience of Computer Programming, 1994
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- TAPSOFT'93: Theory and Practice of Software DevelopmentPublished by Springer Nature ,1993
- A layered semantics for a parallel object-oriented languageFormal Aspects of Computing, 1992
- Formal techniques for parallel object-oriented languagesPublished by Springer Nature ,1991
- Algebraic Methods II: Theory, Tools and ApplicationsPublished by Springer Nature ,1991
- Refinement calculus, part II: Parallel and reactive programsPublished by Springer Nature ,1990
- Stepwise Refinement of Distributed Systems Models, Formalisms, CorrectnessPublished by Springer Nature ,1990
- Laws of programmingCommunications of the ACM, 1987
- Recursive data structuresInternational Journal of Parallel Programming, 1975