✦ LIBER ✦

Creol: A type-safe object-oriented model for distributed concurrent systems

✍ Scribed by Einar Broch Johnsen; Olaf Owe; Ingrid Chieh Yu

Book ID: 108281230
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 873 KB
Volume: 365
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.07.031

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An object oriented model for concurrent

An object oriented model for concurrent systems

✍ Zhang Qian; Chen Shihong 📂 Article 📅 1998 🏛 Wuhan University 🌐 English ⚖ 446 KB

Concurrent object-oriented programming f

Concurrent object-oriented programming for distributed real-time systems

✍ Katsumi Maruyama 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1016 KB

An object-oriented kernel for distribute

An object-oriented kernel for distributed simulation of concurrent systems

✍ Maciej Piechowka; Stanislaw Szejko 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 186 KB

A compile-time model for safe informatio

A compile-time model for safe information flow in object-oriented databases

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 117 KB

each layer. Application of the model then consists of two parts: specification of the organization and specification of requirement harmonization functions.

A formal model of views for object-orien

A formal model of views for object-oriented database systems

✍ Guerrini, Giovanna; Bertino, Elisa; Catania, Barbara; Garcia-Molina, Jesus 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB 👁 2 views

The definition of a view mechanism is an important issue for object-oriented database systems, in order to provide a number of features that are crucial for the development of advanced applications. Due to the complexity of the data model, the object-oriented paradigm introduces new problems in the

ShadowObjects: A Programming Model for S

ShadowObjects: A Programming Model for Service Replication in Distributed Object Systems

✍ Rushikesh K. Joshi; O. Ramakrishna; D.Janaki Ram 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 348 KB

With the growing emphasis on distributed applications, sophisticated programming models for handling replication become important. Control replication as an issue has so far been considered in the larger context of distributed systems such as ISIS and Arjuna. We present a programming model called Sh