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

M. Kirchberg, J. Zhao. Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers. volume 5115, pages 64-76, 2009.

Autoren
  • M. Kirchberg
  • J. Zhao
BuchRigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday
TypIn Sammelband
VerlagSpringer
SerieLecture Notes in Computer Science
Band5115
Jahr2009
Seiten64-76