✦ LIBER ✦

A Concurrent Object Calculus: Reduction and Typing

✍ Scribed by Andrew D. Gordon; Paul D. Hankin

Book ID: 104444612
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 904 KB
Volume: 16
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00145-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A control-flow analysis for a calculus o

A control-flow analysis for a calculus of concurrent objects

✍ di Blasio, P.; Fisher, K.; Talcott, C. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 440 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

ASPfun : A typed functional active objec

ASPfun : A typed functional active object calculus

✍ Ludovic Henrio; Florian Kammüller; Bianca Lutz 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 594 KB

Static typing for a substructural lambda

Static typing for a substructural lambda calculus

✍ Hua, Baojian 📂 Article 📅 2011 🏛 Higher Education Press and Springer 🌐 English ⚖ 249 KB

A Filter Model for Concurrent $\lambda$-

A Filter Model for Concurrent $\lambda$-Calculus

✍ Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Piperno, Adolfo 📂 Article 📅 1998 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 578 KB

Exploiting Object Escape and Locking Inf

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

✍ Matthew B. Dwyer; John Hatcliff; Robby; Venkatesh Prasad Ranganath 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 324 KB