Transactions-Prog. Languages and Systems