1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2012★ 1 cited
Building on the DEPLOY Legacy: Code Generation and Simulation
Andrew Edmunds, Michael Butler, John Colley
The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simu…
cs.LO2010
Deriving Relationship Between Semantic Models - An Approach for cCSP
Shamim H. Ripon, Michael Butler
Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different pu…
cs.LO2010★ 1 cited
Formalizing cCSP Synchronous Semantics in PVS
Shamim H. Ripon, Michael Butler
Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined bot…