Pages that link to "Item:Q5938702"
From MaRDI portal
The following pages link to csp2B: A practical approach to combining CSP and B (Q5938702):
Displaying 5 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)
