✦ LIBER ✦

Context for Models of Concurrency

✍ Scribed by Peter Bubenik

Book ID: 108127061
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 385 KB
Volume: 230
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.02.014

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simplicial Models for Concurrency

✍ Peter Bubenik 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 221 KB

Formal Relationships Between Geometrical

Formal Relationships Between Geometrical and Classical Models for Concurrency

✍ Éric Goubault; Samuel Mimram 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 376 KB

True Concurrency in Models of Asynchrono

True Concurrency in Models of Asynchronous Circuit Behavior

✍ S.J. Silver; J.A. Brzozowski 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 154 KB

Towards context consistency by concurren

Towards context consistency by concurrent checking for Internetware applications

✍ Chang Xu,YePang Liu,S. C. Cheung,Chun Cao,Jian Lv 📂 Article 📅 2013 🏛 Science in China Press (SCP) 🌐 English ⚖ 636 KB

Performance analysis of a scheme for con

Performance analysis of a scheme for concurrency/synchronization using queueing network models

✍ Virgilio A. F. Almeida; Lawrence W. Dowdy 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 899 KB

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