csp2B

swMATH7703MaRDI QIDQ19720

No author found.

Described by source

• csp2B: A practical approach to combining CSP and B

Related Items (15)

Efficient symbolic computation of process expressions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Translating FSP into LOTOS and networks of automata ⋮ On the use of data refinement in the development of secure communications systems ⋮ Unnamed Item ⋮ CSP theorems for communicating B machines ⋮ Understanding Programming Language Concepts Via Operational Semantics ⋮ Communicating Sequential Processes. The First 25 Years ⋮ FM 2005: Formal Methods ⋮ Refinement-Preserving Plug-In Components ⋮ Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B ⋮ The behavioural semantics of Event-B refinement ⋮ Derivation of concurrent programs by stepwise scheduling of Event-B models ⋮ Testing for refinement in \textsf{Circus}

This page was built for software: csp2B