Application of the composition principle to unity-like specifications
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 230-242
- https://doi.org/10.1007/3-540-56610-4_67
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specification of concurrent objects using auxiliary variablesScience of Computer Programming, 1991
- A logical view of composition and refinementPublished by Association for Computing Machinery (ACM) ,1991
- Specifying concurrent objects as communicating processesScience of Computer Programming, 1990
- Composing specificationsPublished by Springer Nature ,1990
- Proving entailment between conceptual state specificationsTheoretical Computer Science, 1988
- Using VDM with rely and guarantee-conditionsPublished by Springer Nature ,1988
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981