csp2B: A practical approach to combining CSP and B
From MaRDI portal
Publication:5938702
DOI10.1007/PL00003930zbMath0969.68578OpenAlexW4231029568MaRDI QIDQ5938702
No author found.
Publication date: 1 October 2001
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00003930
Related Items (10)
Reasoning About Resources in the Embedded Systems Language Hume ⋮ Responsiveness and stable revivals ⋮ Efficient symbolic computation of process expressions ⋮ Translating FSP into LOTOS and networks of automata ⋮ 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 ⋮ csp2B ⋮ Testing for refinement in \textsf{Circus}
Uses Software
This page was built for publication: csp2B: A practical approach to combining CSP and B
