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

Autoren M. Kirchberg
Klaus-Dieter Schewe
J. Zhao
Editoren J.-R. Abrial
U. Glaesser
Titel Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers
Buchtitel Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday
Typ in Sammelband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 5115
Jahr 2009
Seiten 64-76