✦ LIBER ✦

A Fully Abstract Semantics for Concurrent Constraint Programming

✍ Scribed by Sven-Olof Nyström; Bengt Jonsson

Book ID: 112252374
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 692 KB
Volume: 146
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2738

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear Concurrent Constraint Programming

Linear Concurrent Constraint Programming: Operational and Phase Semantics

✍ François Fages; Paul Ruet; Sylvain Soliman 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Transformational semantics for concurren

Transformational semantics for concurrent programs

✍ M. Broy 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 629 KB

A true concurrency semantics for paralle

A true concurrency semantics for parallel programs

✍ Tatjana Kapus; Bogomir Horvat; Marjeta Pučko 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 348 KB

oodOPT: A semantics-based concurrency co

oodOPT: A semantics-based concurrency control framework for fully-replicated architecture

✍ Guangxin Yang; Meilin Shi 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 906 KB

Demand transformation analysis for concu

Demand transformation analysis for concurrent constraint programs

✍ Moreno Falaschi; Patrick Hicks; William Winsborough 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 309 KB

This paper presents a demand transformation analysis that maps a predicate's output demands to its input demands. This backward data¯ow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation. In the context of stream parallelism, this analysis identi®e

A fully abstract semantics for causality

A fully abstract semantics for causality in the(pi)-calculus

✍ Michele Boreale; Davide Sangiorgi 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 461 KB