SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Michael J. Butler · Study

Home/Author

Michael J. Butler

4 works· latest 2020· 3 institutionscluster: provisionalORCID 0000-0003-4642-5373

h-index4

i103

Citations220

Works here4

02

03

04

20

Most cited in this library

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions2004 · 143 citations
Extending the concept of transaction compensation2002 · 47 citations
Precise Modelling of Compensating Business Transactions and its Application to BPEL2020 · 22 citations
Using B Refinement to Analyse Compensating Business Processes2003 · 8 citations

Works

4 shown

Precise Modelling of Compensating Business Transactions and its Application to BPEL

TUGraz OPEN Library (Graz University of Technology)·2020·3 authors·other·Open access

22citations

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions

Lecture notes in computer science·2004·2 authors·other

143citations

Using B Refinement to Analyse Compensating Business Processes

Lecture notes in computer science·2003·2 authors·other

8citations

Extending the concept of transaction compensation

IBM Systems Journal·2002·5 authors

47citations