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

Michael J. Butler, Carla Ferreira

Browse the full Coordination paper archive.