csp2B: A practical approach to combining CSP and B
From MaRDI portal
Publication:5938702
DOI10.1007/PL00003930zbMath0969.68578MaRDI QIDQ5938702
No author found.
Publication date: 1 October 2001
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Related Items
csp2B, Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B, Translating FSP into LOTOS and networks of automata, Testing for refinement in \textsf{Circus}, Efficient symbolic computation of process expressions, Responsiveness and stable revivals
Uses Software