| 2005 | ||
|---|---|---|
| 3 | Michael J. Butler, Carla Ferreira, Muan Yong Ng: Precise Modelling of Compensating Business Transactions and its Application to BPEL. J. UCS 11(5): 712-743 (2005) | |
| 2003 | ||
| 2 | Muan Yong Ng, Michael J. Butler: Towards Formalizing UML State Diagrams in CSP. SEFM 2003: 138- | |
| 2002 | ||
| 1 | Muan Yong Ng, Michael J. Butler: Tool Support for Visualizing CSP in UML. ICFEM 2002: 287-298 | |
| 1 | Michael J. Butler | [1] [2] [3] |
| 2 | Carla Ferreira | [3] |