1 Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. - 1 Introduction. - 2 An Object-Based Language. - 3 Soundness of the Equivalences. - 4 Discussion. - References. - 2 Correct Transformational Design of Concurrent Search Structures. - 1 Introduction. - 2 A Concurrent Symbol Table. - 3 Mobile Processes. - 4 Translational Semantics of ????. - 5 I/O-Correctness. - 6 Conclusion. - References. - 3 Modal-?-Maude: Specification and Properties of Concurrent Objects. - 1 Introduction. - 2 Maude. - 3 The Modal ?-Calculus. - 4 Connections and Simulations. - 5 Inheritance of Properties. - 6 Abstraction and Verification. - 7 Relation to Other Work. - 8 Concluding Remarks. - References. - 4 An Object Model for Distributed and Concurrent Programming Based on Decomposition. - 1 Introduction. - 2 The Role of the Decomposition Hierarchy. - 3 State and Behaviour of Objects. - 4 Messages and Recursion. - 5 Inheritance. - 6 Summary and Future Work. - References. - 5 Objects and Classes Co-Algebraically. - 1 Introduction. - 2 Algebras Versus Co-algebras. - 3 Examples of Co-algebraic Specification. - 4 Objects Class Implementations and Class Specifications. - 5 Indistinguishability (Bisimulation) for Objects. - 6 Terminal Co-algebras Satisfying Assertions. - 7 Equations Between States?. - References. - 6 Semantic Refinement of Concurrent Object Systems Based on Serializability. - 1 Introduction. - 2 Related Work. - 3 An Event-Based Model for Object Systems. - 4 Action Refinement and Transaction Interleaving. - 5 Sequentialization of Event Structures and Refinement Criterion. - 6 Concluding Remarks and Future Work. - References. - 7 Unified Theory for Classical and Advanced Transaction Models. - 1 Introduction. - 2 Traditional Concurrency Control and Recovery. - 3 Our UnifiedModel. - 4 Unified Theory of the Read/Write Model. - 5 Unified Theory of Models with Semantically Rich Operations. - 6 Conclusion. - References. - 8 Coordination as Negotiated Transactions. - 1 Motivation. - 2 Rule-Based Coordination. - 3 Negotiation-Based Coordination. - 4 Related Work. - 5 Conclusion. - References. - 9 Role-Based Persistence. - 1 Introduction. - 2 Motivation. - 3 The Relationship Mechanism. - 4 Operations on Relationships. - 5 Derived Relationships. - 6 Role-Based Persistence. - 7 Comparison. - 8 Conclusion. - References. - 10 Design and Implementation of Process-Oriented Environments with Brokers and Services. - 1 Introduction. - 2 Requirements for a CPE Construction Formalism. - 3 The Broker/Services Model. - 4 Modeling CPEs with Brokers. - 5 Broker Implementation. - 6 Related Work and Concepts. - 7 Conclusion. - References. - 11 There's Nothing Like Shared Nothing. - 1 Introduction. - 2 A Taxonomy of Parallel Database Architectures. - 3 A Brief History of Shared-Nothing. - 4 The Market Size for OOP&P. - 5 Parallel Computing and Relational Databases. - 6 Conclusions. - References. Language: English