Database management systems (DBMSs) have been increasingly used for advanced application domains, such as software development environments, network management, work ow management systems, computer-aided design and manufacturing, and managed healthcare. In these domains, the standard correctness model of serializability is often too restrictive. We introduce the notion of a Concurrency Control ...

Abstract Session-based concurrency is a type-based approach to the analysis of message-passing programs. These programs may be specified in an operational or declarative style: former defines how interactions are properly structured; latter governing conditions for correct interactions. In this paper, we study rigorous relationships between and models session-based concurrency. We develop encod...