| Although, concurrency control in database systems is primarily based on serializability, many recent applications have rendered traditional serializability-based criteria ineecient or inappropriate. However, non-serializable executions may violate database consistency. In this paper, we propose a new approach to ensuring the correctness of non-serializable executions. The approach is based on...

Brand and Zafiropulo's notion of Communicating Finite-State Machines (CFSMs) provides a succinct powerful model message-passing concurrency, based around channels. However, major variant concurrency is not readily captured by CFSMs: the actor model. In this work, we define CFSMs, called Actor Automata, to capture as provided Erlang: with mailboxes, from which messages are received according rep...