✦ LIBER ✦

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments

✍ Scribed by Yu Huang; Yiling Yang; Jiannong Cao; Xiaoxing Ma; Xianping Tao; Jian Lu

Book ID: 117931897
Publisher: IEEE
Year: 2012
Tongue: English
Weight: 526 KB
Volume: 23
Category: Article
ISSN: 1045-9219
DOI: 10.1109/tpds.2011.176

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] SOFS

[Lecture Notes in Computer Science] SOFSEM 2007: Theory and Practice of Computer Science Volume 4362 || About the Termination Detection in the Asynchronous Message Passing Model

✍ van Leeuwen, Jan; Italiano, Giuseppe F.; van der Hoek, Wiebe; Meinel, Christoph; 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 522 KB

This Book Constitutes The Refereed Proceedings Of The 33rd Conference On Current Trends In Theory And Practice Of Computer Science, Sofsem 2007, Held In Harrachov, Czech Republic In January 2007. The 69 Revised Full Papers, Presented Together With 11 Invited Contributions Were Carefully Reviewed And

[Lecture Notes in Computer Science] Algo

[Lecture Notes in Computer Science] Algorithms, Concurrency and Knowledge Volume 1023 || Detecting distributed termination in the presence of node failure

✍ Kanchanasut, Kanchana; Lévy, Jean-Jacques 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 764 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 4963 || Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems

✍ Ramakrishnan, C. R.; Rehof, Jakob 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 530 KB