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)

• On the use of data refinement in the development of secure communications systems
• scientific article; zbMATH DE number 2013598 (Why is no real title available?)
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Refinement-preserving plug-in components
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2013595 (Why is no real title available?)
• scientific article; zbMATH DE number 2080014 (Why is no real title available?)
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• Communicating Sequential Processes. The First 25 Years
• Translating FSP into LOTOS and networks of automata
• jETI
• LOTOS
• HOL-Z
• JACK
• Atelier B
• Rodin
• FDR2
• Circus
• 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

This page was built for software: csp2B