Using Abstract State Machines for the Design of Multi-level Transaction Schedulers
From MaRDI portal
Publication:3400957
DOI10.1007/978-3-642-11447-2_5zbMath1274.68100OpenAlexW2170807566MaRDI QIDQ3400957
Klaus-Dieter Schewe, Jane Zhao, Markus Kirchberg
Publication date: 28 January 2010
Published in: Rigorous Methods for Software Construction and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11447-2_5
Database theory (68P15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)