Cited in
(23)- On the use of data refinement in the development of secure communications systems
- scientific article; zbMATH DE number 2013598 (Why is no real title available?)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
- Refinement-preserving plug-in components
- FM 2005: Formal Methods
- scientific article; zbMATH DE number 2013595 (Why is no real title available?)
- scientific article; zbMATH DE number 2080014 (Why is no real title available?)
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- Communicating Sequential Processes. The First 25 Years
- Translating FSP into LOTOS and networks of automata
- jETI
- LOTOS
- HOL-Z
- JACK
- Atelier B
- Rodin
- FDR2
- Circus
- Efficient symbolic computation of process expressions
- The behavioural semantics of Event-B refinement
- CSP theorems for communicating B machines
- Testing for refinement in \textsf{Circus}
- Understanding Programming Language Concepts Via Operational Semantics
This page was built for software: csp2B
