csp2B: A practical approach to combining CSP and B

Formal Aspects of Computing

Volumn 12, Issue 3, 2000, Pages 182-198

  Butler, Michael ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

B Method; CSP; Refinement

Indexed keywords

EID: 0011584271     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00003930     Document Type: Article

References (19)

1. Abrial, J.-R.: The B-Book. Cambridge University Press, 1996.
2. Abrial, J.-R. and Mussat, L.: Introducing dynamic constraints in B. In D. Bert, editor, Second International B Conference, April 1998.
3. Back, R. J. R. and Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 131-142, 1983.
4. Back, R. J. R. and Sere, K.: Stepwise refinement of parallel algorithms. Science of Computer Programming, 13: 133-180, 1989.
5. Butler, M. J.: Stepwise refinement of communicating systems. Science of Computer Programming, 27(2):139-173, September 1996.
6. Butler, M. J.: An approach to the design of distributed systems with B AMN. In J. P. Bowen, M. G. Hinchey and D. Till, editors, 10th International Conference of Z Users (ZUM'97), volume LNCS 1212, pages 223-241. Springer-Verlag, April 1997.
7. Butler, M. J.: csp2B User Manual. Available from http://www.ecs.soton.ac.uk/~mjb/csp2B, 1999.
8. Butler, M. J. and Waidén, M.: Distributed system development in B. In H. Habrias, editor, First B Conference, November 1996.
9. Dijkstra, E. W.: A Discipline of Programming. Prentice-Hall, 1976.
10. Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In H. Bowmann and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), pages 423-438. Chapman & Hall, 1997.
11. Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, B.: Questions and answers about ten formal methods. In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, July 1999. http://www.dsse.ecs.soton.ac.uk/techreports/99-1.html.
12. Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall, 1985.
13. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, 1994.
14. Milner, R.: Communication and Concurrency. Prentice-Hall, 1989.
15. Morgan, C. C.: Of wp and CSP. In W. H. J. Feijen, A. J. M. van Gasteren, D. Gries and J. Misra, editors, Beauty is our Business: A Birthday Salute to Edsger W. Dijkstra. Springer-Verlag, 1990.
16. Olderog, E.-R.: Towards a design calculus for communicating programs. In J. C. M. Baeten and J. F. Groote, editors, Proceedings CONCUR '91, volume LNCS 527. Springer-Verlag, 1991.
17. Plosila, J., Ruksenas, R. and Sere, K.: Action Systems Synthesis of DI Circuits. Technical Report 149, http://www.tucs. abo.fi/publications/techreports/TR149.html, Turku Centre for Computer Science (TUCS), December 1997.
18. Roscoe, A. W.: The Theory and Practice of Concurrency. Prentice-Hall, 1998.
19. Woodcock, J. C. P. and Morgan, C. C.: Refinement of state-based concurrent systems. In D. Bjørner, C. A. R. Hoare and H. Langmaack, editors. VDM '90, volume LNCS 428, pages 340-351. Springer-Verlag, 1990.