Produktbild: Object Orientation with Parallelism and Persistence
Band 370

Object Orientation with Parallelism and Persistence

146,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2011

Verlag

Springer Us

Seitenzahl

233

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

388 g

Auflage

Softcover reprint of the original 1st ed. 1996

Sprache

Englisch

ISBN

978-1-4612-8625-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2011

Verlag

Springer Us

Seitenzahl

233

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

388 g

Auflage

Softcover reprint of the original 1st ed. 1996

Sprache

Englisch

ISBN

978-1-4612-8625-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Object Orientation with Parallelism and Persistence
  • 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.