csp2B

MaRDI QIDQ19720swMATHFDO

Official website http://rd.springer.com/article/10.1007%2FPL00003930

Described by source

• csp2B: A practical approach to combining CSP and B

Cited in

(23)

• jETI
• On the use of data refinement in the development of secure communications systems
• LOTOS
• HOL-Z
• JACK
• Rodin
• Atelier B
• FDR2
• Efficient symbolic computation of process expressions
• CSP theorems for communicating B machines
• Circus
• Understanding Programming Language Concepts Via Operational Semantics
• scientific article; zbMATH DE number 2013595 (Why is no real title available?)
• scientific article; zbMATH DE number 2013598 (Why is no real title available?)
• scientific article; zbMATH DE number 2080014 (Why is no real title available?)
• Refinement-preserving plug-in components
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Communicating Sequential Processes. The First 25 Years
• FM 2005: Formal Methods
• Translating FSP into LOTOS and networks of automata
• 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