Dagstuhl Seminar Object Orientation with Parallelism and Persistence 1995

Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (Eds.): Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995). Kluwer Academic Publishers, 1996, ISBN 0-7923-9770-3

Steve J. Hodges, Cliff B. Jones: Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. 1-22
Uwe Nestmann, Martin Steffen: Correct Transformational Design of Concurrent Search Structures. 23-42
Ulrike Lechner, Christian Lengauer: Modal-µ-Maude: Specification and Properties of Concurrent Objects. 43-62
Matthias Radestock, Susan Eisenbach: An Object Model for Distributed and Concurrent Programming Based on Decomposition. 63-82
Bart Jacobs: Objects and Classes, Co-Algebraically. 83-103
Grit Denker: Semantic Refinement of Concurrent Object Systems Based on Serializability. 105-126
Haiyan Hasse-Ye, Hans-Jörg Schek: Unified Theory for Classical and Advanced Transaction Models. 127-150
Jean-Marc Andreoli: Coordination as Negotiated Transactions. 151-173
Jürgen Schlegelmilch: Role-Based Persistence. 175-195
Dimitris Tombros, Andreas Geppert, Klaus R. Dittrich: Design and Implementation of Process-Oriented Environments with Brokers and Services. 197-216
Peter Thanisch, Michael G. Norman: There's Nothing Like Shared Nothing. 217-230

Last update Tue May 21 16:28:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page