✦ LIBER ✦

DisCComp – A Formal Model for Distributed Concurrent Components

✍ Scribed by Andreas Rausch

Book ID: 108126675
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 860 KB
Volume: 176
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.02.029

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrency Model for Distributed System

Concurrency Model for Distributed Systems

✍ Myungchul Kim; Samuel T. Chanson; Son T. Vuong 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 243 KB

Concurrent behaviors in distributed systems are generally difficult to specify and analyze. In this paper, we introduce a concurrency model that comprises concurrent events, concurrency blocks, and global states. The model is attractive in that it is simple and yet allows for the definition and calc

Creol: A type-safe object-oriented model

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

✍ Einar Broch Johnsen; Olaf Owe; Ingrid Chieh Yu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 873 KB

Self-healing components in robust softwa

Self-healing components in robust software architecture for concurrent and distributed systems

✍ Michael E. Shin 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

A formal model of composing components:

A formal model of composing components: the TLA+approach

✍ Ondrej Rysavy; Jaroslav Rab 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 793 KB

A Formal Composition and Interaction Mod

A Formal Composition and Interaction Model for a Web Component Platform

✍ Claus Pahl 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 873 KB

rCOS: a formal model-driven engineering

rCOS: a formal model-driven engineering method for component-based software

✍ Wei Ke; Xiaoshan Li; Zhiming Liu; Volker Stolz 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 781 KB