| 2005 |
|---|
| 10 | EE | Roberto Bruni,
Michael J. Butler,
Carla Ferreira,
C. A. R. Hoare,
Hernán C. Melgratti,
Ugo Montanari:
Comparing Two Approaches to Compensable Flow Composition.
CONCUR 2005: 383-397 |
| 9 | EE | 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) |
| 2004 |
|---|
| 8 | EE | Michael J. Butler,
C. A. R. Hoare,
Carla Ferreira:
A Trace Semantics for Long-Running Transactions.
25 Years Communicating Sequential Processes 2004: 133-150 |
| 7 | EE | Michael J. Butler,
Carla Ferreira:
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.
COORDINATION 2004: 87-104 |
| 2003 |
|---|
| 6 | EE | Juan Carlos Augusto,
Carla Ferreira,
Andrew M. Gravell,
Michael Leuschel,
Karen M. Y. Ng:
The Benefits of Rapid Modelling for E-business System Development.
ER (Workshops) 2003: 17-28 |
| 5 | EE | Juan Carlos Augusto,
Michael J. Butler,
Carla Ferreira,
Stephen-John Craig:
Using SPIN and STeP to Verify Business Processes Specifications.
Ershov Memorial Conference 2003: 207-213 |
| 4 | EE | Juan Carlos Augusto,
Y. Howard,
Andrew M. Gravell,
Carla Ferreira,
Stefan Gruner,
Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems.
STEP 2003: 225-233 |
| 3 | EE | Carla Ferreira,
Michael J. Butler:
Using B Refinement to Analyse Compensating Business Processes.
ZB 2003: 477-496 |
| 2002 |
|---|
| 2 | EE | Mandy Chessell,
Catherine Griffin,
David Vines,
Michael J. Butler,
Carla Ferreira,
Peter Henderson:
Extending the concept of transaction compensation.
IBM Systems Journal 41(4): 743-758 (2002) |
| 2000 |
|---|
| 1 | EE | Michael J. Butler,
Carla Ferreira:
A Process Compensation Language.
IFM 2000: 61-76 |
