Publication

An Equational Theory for Transactions