Non-interference through determinism
- 1 January 1994
- book chapter
- Published by Springer Nature
- Vol. 4 (1) , 31-53
- https://doi.org/10.1007/3-540-58618-0_55
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Unbounded Non-determinism in CSPJournal of Logic and Computation, 1993
- 5th Refinement WorkshopPublished by Springer Nature ,1992
- Refinement of state-based concurrent systemsPublished by Springer Nature ,1990
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Decentralization of process nets with centralized controlPublished by Association for Computing Machinery (ACM) ,1983