Abstraction and testing in CSP

Formal Aspects of Computing

Volumn 12, Issue 3, 2000, Pages 165-181

  Schneider, Steve ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Abstraction; CSP; Failures semantics; Operational semantics; Process algebra; Testing

Indexed keywords

EID: 0005414225     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070027     Document Type: Article

References (14)

1. Davies, J., Jackson, D. M. and Schneider, S. A.: Broadcast communication for real-time processes. In Proceedings of the Symposium on Real-Time and Fault-Tolerant Systems. Springer-Verlag, LNCS 571, 1992.
2. de Nicola, R. and Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science, 34(1): 83-134, 1987.
3. Focardi, R. and Gorrieri, R.: The compositional security checker: A tool for the verification of information flow security properties. IEEE Transactions on Software Engineering, 23(9): 550-571, 1997
4. Goguen, J. A. and Meseguer, J.: Security policies and security models. In IEEE Symposium on Research in Security and Privacy, Oakland, California, IEEE Press 1982.
5. Hennessy, M.: Algebraic Theory of Processes. MIT Press, 1988.
6. Larsen, K. G.: A context dependent equivalence between processes. Theoretical Computer Science, 49(2): 185-216, 1987.
7. Lynch, N., Merritt, M., Weihl, W. and Fekete, A.: Atomic Transactions. Morgan Kaufmann, 1994.
8. McLean, J.: A general theory of composition for trace sets closed under selective interleaving functions. In IEEE Symposium on Research in Security and Privacy, Oakland, California, IEEE Press 1994.
9. Roscoe, A. W.: The Theory and Practice of Concurrency. Prentice-Hall, 1997.
10. Ryan, P. Y. A. and Schneider, S. A.: Process algebra and non-interference. In 12th IEEE Computer Security Foundations Workshop, Mordano, Italy, IEEE Press 1999.
11. Roscoe, A. W., Woodcock, J. C. P. and Wulf, L.: Non-interference through determinism. In European Symposium on Research in Computer Security, volume 875 of LNCS. Springer-Verlag, 1994.
12. Ryan, P. Y. A.: A CSP formulation of non-interference and unwinding. Cipher Newsletter, 19-27. IEEE Press 1991.
13. Schneider, S. A.: Abstraction and testing. Technical Report TR-99-02, Royal Holloway, 1999.
14. Schneider, S. A.: Concurrent and Real-Time Systems: The CSP Approach. John Wiley, 1999.