Detail

Publication date: 01/01/2004

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

Authors

Michael Butler, Carla Ferreira,

URL http://link.springer.com/chapter/10.1007/978-3-540-24634-3_9
Publisher Springer Berlin Heidelberg
Series LNCS
Volume 2949
URL http://link.springer.com/chapter/10.1007/978-3-540-24634-3_9
Publisher Springer Berlin Heidelberg
Series LNCS
Volume 2949