@inproceedings{4bce88d4162c498eb924d59ec87abbc9,
title = "Concurrency Control Protocol for Broadcast-based Transaction Processing and Correctness Proof",
abstract = "Observing that it is impractical to use traditional methods to control concurrency for transaction processing in broadcast-based asymmetric communication environment, this paper introduces a concurrency control protocol designed for broadcast-based transaction processing called STUBcast (Server Timestamp and Update Broadcast Supported Concurrency). It then focuses on the correctness proof of STUBcast on supporting two new proposed correctness criteria, Single Serializability and Local Serializability, which are weaker than global serializability but are practical in broadcast environment.",
keywords = "asymmetric communication, concurrency control, data broadcast, transaction processing",
author = "Yan Huang and Lee, {Yann Hang}",
note = "Publisher Copyright: {\textcopyright} (2001) by the International Society for Computers and Their Applications All rights reserved.; 14th International Conference on Parallel and Distributed Computing Systems, PDCS 2001 ; Conference date: 08-08-2001 Through 10-08-2001",
year = "2001",
language = "English (US)",
series = "14th International Conference on Parallel and Distributed Computing Systems 2001, PDCS 2001",
publisher = "International Society for Computers and Their Applications (ISCA)",
pages = "130--135",
editor = "Edwin Sha",
booktitle = "14th International Conference on Parallel and Distributed Computing Systems 2001, PDCS 2001",
address = "United States",
}