Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
M Goldsmith and P Whittaker
Book Title
Proceedings of second workshop on Automated Verification of Critical Systems (AVoCS'02)
Pages
59–64
Publisher
University of Birmingham; 1999
Year
2002