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

Publisher Website

1 January 2004

book chapter
Published by Springer Nature

p. 87-104
https://doi.org/10.1007/978-3-540-24634-3_9

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A calculus of mobile processes, I
Published by Elsevier ,2004
Using B Refinement to Analyse Compensating Business Processes
Published by Springer Nature ,2003
A Calculus for Long-Running Transactions
Published by Springer Nature ,2003
Extending the concept of transaction compensation
IBM Systems Journal, 2002
A Process Compensation Language
Published by Springer Nature ,2000
The B-Book
Published by Cambridge University Press (CUP) ,1996