СТ |
An Operational Semantics for StAC, a Language for Modeling Long-Running Business Transactions |
2004 |
Butler M., Ferreira C. |
|
|
|
Lecture Notes in Computer Science |
17.03.2004 |
СТ |
Using SPIN and STeP to Verify Business Processes Specifications |
2003 |
Augusto J. C., Butler M., Ferreira C., Craig S. -J. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
СТ |
Using B Refinement to Analyse Compensating Business Processes |
2003 |
Ferreira C., Butler M. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
СТ |
An Approach to Combining B and Alloy |
2002 |
Mikhailov L., Butler M. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
СТ |
A Generic Model for Assessing Process Quality |
2001 |
Satpathy M., Harrison R., Snook C., Butler M. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
СТ |
A Process Compensation Language |
2000 |
Butler M., Ferreira C. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
СТ |
Performing Algorithmic Refinement before Data Refinement in B |
2000 |
Butler M., Meagher M. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
СТ |
Reasoning about Grover s Quantum Search Algorithm Using Probabilistic wp |
1999 |
Butler M., Hartel P. |
|
|
|
ACM Trans. on Programming Languages and Systems |
01.02.2000 |
СТ |
Fusion and Simultaneous Execution in the Refinement Calculus |
1998 |
Back R. -J., Butler M. |
|
|
|
Acta Informatica |
12.12.1998 |
СТ |
An Approach to the Design of Distributed Systems with B AMN |
1997 |
Butler M. |
|
|
|
Lecture Notes in Computer Science |
15.04.1997 |
СТ |
An Investigation of the Performance of Various Dynamic Scheduling Techniques |
1992 |
Butler M., Patt Y. |
|
|
|
SIGMICRO Newsletter |
13.03.1993 |