csp2B

swMATH7703MaRDI QIDQ19720FDOQ19720

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Refinement-preserving plug-in components
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Communicating Sequential Processes. The First 25 Years
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• 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