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
TitelUsing Abstract State Machines for the Design of Multi-Level Transaction Schedulers
BuchtitelRigorous 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