csp2B
From MaRDI portal
Software:19720
swMATH7703MaRDI QIDQ19720FDOQ19720
Author name not available (Why is that?)
Cited In (15)
- On the use of data refinement in the development of secure communications systems
- Title not available (Why is that?)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
- FM 2005: Formal Methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- Communicating Sequential Processes. The First 25 Years
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- Translating FSP into LOTOS and networks of automata
- 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
- Refinement-Preserving Plug-In Components
This page was built for software: csp2B
