Joining specification statements
- 6 March 1999
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 216 (1-2), 375-394
- https://doi.org/10.1016/s0304-3975(98)00165-0
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Exploring summation and product operators in the refinement calculusLecture Notes in Computer Science, 1995
- Program construction by partsLecture Notes in Computer Science, 1995
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Co-RefinementPublished by Springer Nature ,1994
- Combining angels, demons and miracles in program specificationsTheoretical Computer Science, 1992
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- The weakest prespecificationInformation Processing Letters, 1987
- An axiomatic proof technique for parallel programs IActa Informatica, 1976