The following pages link to csp2B (Q19720):
Displayed 15 items.
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- On the use of data refinement in the development of secure communications systems (Q1402458) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- CSP theorems for communicating B machines (Q2432218) (← links)
- Understanding Programming Language Concepts Via Operational Semantics (Q3525020) (← links)
- (Q4436981) (← links)
- (Q4436984) (← links)
- (Q4472200) (← links)
- Refinement-Preserving Plug-In Components (Q4923380) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709370) (← links)
- FM 2005: Formal Methods (Q5716878) (← links)