home
>
book reviews
> Michael J. Butler
Google >
Michael J. Butler
author : Michael J. Butler
Short works
An Approach to the Design of Distributed Systems with B AMN. 1997.
(In
ZUM '97
)
csp2B: A Practical Approach to Combining CSP and B. 1999.
(In
FM'99 volume 1
)
Performing Algorithmic Refinement before Data Refinement in B. 2000.
(In
ZB 2000
)
An Approach to Combining B and Alloy. 2002.
(In
ZB 2002
)
Using B refinement to analyse compensating business processes. 2003.
(In
ZB 2003
)
Some guidelines for formal development of web-based applications in the B-Method. 2005.
(In
ZB 2005
)