| 2009 | ||
|---|---|---|
| 2 | Shamim Ripon, Michael J. Butler: PVS Embedding of cCSP Semantic Models and Their Relationship. Electr. Notes Theor. Comput. Sci. 250(2): 103-118 (2009) | |
| 2005 | ||
| 1 | Michael J. Butler, Shamim Ripon: Executable Semantics for Compensating CSP. EPEW/WS-FM 2005: 243-256 | |
| 1 | Michael J. Butler | [1] [2] |