Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers

Authors M. Kirchberg
Klaus-Dieter Schewe
J. Zhao
Editors J.-R. Abrial
U. Glaesser
Title Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers
Booktitle Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday
Type in collection
Publisher Springer
Series Lecture Notes in Computer Science
Volume 5115
Year 2009
Pages 64-76