default search action
Dagstuhl Seminar Object Orientation with Parallelism and Persistence 1995
- Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek:
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. Object Orientation with Parallelism and Persistence 1995: 1-22 - Uwe Nestmann, Martin Steffen:
Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42 - Ulrike Lechner, Christian Lengauer:
Modal-µ-Maude: Specification and Properties of Concurrent Objects. Object Orientation with Parallelism and Persistence 1995: 43-62 - Matthias Radestock, Susan Eisenbach:
An Object Model for Distributed and Concurrent Programming Based on Decomposition. Object Orientation with Parallelism and Persistence 1995: 63-82 - Bart Jacobs:
Objects and Classes, Co-Algebraically. Object Orientation with Parallelism and Persistence 1995: 83-103 - Grit Denker:
Semantic Refinement of Concurrent Object Systems Based on Serializability. Object Orientation with Parallelism and Persistence 1995: 105-126 - Haiyan Hasse-Ye, Hans-Jörg Schek:
Unified Theory for Classical and Advanced Transaction Models. Object Orientation with Parallelism and Persistence 1995: 127-150 - Jean-Marc Andreoli:
Coordination as Negotiated Transactions. Object Orientation with Parallelism and Persistence 1995: 151-173 - Jürgen Schlegelmilch:
Role-Based Persistence. Object Orientation with Parallelism and Persistence 1995: 175-195 - Dimitris Tombros, Andreas Geppert, Klaus R. Dittrich:
Design and Implementation of Process-Oriented Environments with Brokers and Services. Object Orientation with Parallelism and Persistence 1995: 197-216 - Peter Thanisch, Michael G. Norman:
There's Nothing Like Shared Nothing. Object Orientation with Parallelism and Persistence 1995: 217-230
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.