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