✦ LIBER ✦

A control-flow analysis for a calculus of concurrent objects

✍ Scribed by di Blasio, P.; Fisher, K.; Talcott, C.

Book ID: 117872405
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 440 KB
Volume: 26
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.859531

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A calculus for control flow analysis of

A calculus for control flow analysis of security protocols

✍ Mikael Buchholtz; Hanne Riis Nielson; Flemming Nielson 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 740 KB

A Process-Calculus Analysis of Concurren

A Process-Calculus Analysis of Concurrent Operations on B-Trees

✍ Anna Philippou; David Walker 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 392 KB

Typed ?-calculus at work: A correctness

Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects

✍ Sangiorgi, Davide 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The

Apportioning: a technique for efficient

Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs

✍ Iyer, S.; Ramesh, S. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 560 KB

A quality of service driven concurrency

A quality of service driven concurrency framework for object-based middleware

✍ Geoff Coulson; Oveeyen Moonian 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 235 KB 👁 2 views

Design and implementation of a concurren

Design and implementation of a concurrency control mechanism in an object-oriented database system

✍ Yunyao Qu; Zengping Tian; Yujun Wang; Baile Shi 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 591 KB