csp2B: A Practical Approach to Combining CSP and B
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 490-508
- https://doi.org/10.1007/3-540-48119-2_28
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introducing dynamic constraints in BPublished by Springer Nature ,1998
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- 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