Object Orientation with Parallelism and Persistence - researchr publication

researchr

You are not signed in
Sign in
Sign up

Object Orientation with Parallelism and Persistence. 1995.

Conference: Dagstuhl1995

Abstract is missing.

Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational SemanticsSteve J. Hodges, Cliff B. Jones. 1-22

Correct Transformational Design of Concurrent Search StructuresUwe Nestmann, Martin Steffen. 23-42

Modal-µ-Maude: Specification and Properties of Concurrent ObjectsUlrike Lechner, Christian Lengauer. 43-62

An Object Model for Distributed and Concurrent Programming Based on DecompositionMatthias Radestock, Susan Eisenbach. 63-82

Objects and Classes, Co-AlgebraicallyBart Jacobs. 83-103

Semantic Refinement of Concurrent Object Systems Based on SerializabilityGrit Denker. 105-126

Unified Theory for Classical and Advanced Transaction ModelsHaiyan Hasse-Ye, Hans-Jörg Schek. 127-150

Coordination as Negotiated TransactionsJean-Marc Andreoli. 151-173

Role-Based PersistenceJürgen Schlegelmilch. 175-195

Design and Implementation of Process-Oriented Environments with Brokers and ServicesDimitris Tombros, Andreas Geppert, Klaus R. Dittrich. 197-216

There s Nothing Like Shared NothingPeter Thanisch, Michael G. Norman. 217-230

runs on WebDSL