Investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level. This book gives an overview of transaction models, and analyzes their suitability for concurrent programming languages.