Robuta

https://research.jku.at/de/publications/serialisable-multi-level-transaction-control-a-specification-and-/ Serialisable multi-level transaction control: A specification and verification - JKU & KUK... multi level serialisable transaction control specification