Specification of required non-determinism
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 298-317
- https://doi.org/10.1007/3-540-63533-5_16
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Categorical semantics of parallel program designScience of Computer Programming, 1997
- Integrating VDM++ and real-time system designPublished by Springer Nature ,1997
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- Accommodating interference in the formal design of concurrent object-based programsFormal Methods in System Design, 1996
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Parallel Program DesignPublished by Springer Nature ,1989
- Enforcing nondeterminism via linear time temporal logic specifications using hidingPublished by Springer Nature ,1989
- Comparing linear and branching time temporal logicsPublished by Springer Nature ,1989