|
СТ |
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 |
|
СТ |
The Benefits of Rapid Modeling for E-business System Development |
2004 |
Augusto J. C., Ferreira C., Gravell A. M., Leuschel M. A., Ng K.M. Y. |
|
|
|
Lecture Notes in Computer Science |
06.01.2004 |
|
СТ |
Using B Refinement to Analyse Compensating Business Processes |
2003 |
Ferreira C., Butler M. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
A Process Compensation Language |
2000 |
Butler M., Ferreira C. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
