✦ LIBER ✦

Linear Concurrent Constraint Programming: Operational and Phase Semantics

✍ Scribed by François Fages; Paul Ruet; Sylvain Soliman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Fully Abstract Semantics for Concurren

✍ Sven-Olof Nyström; Bengt Jonsson 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 692 KB

Concurrent Separation Logic and Operatio

✍ Viktor Vafeiadis 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 294 KB

Constraint Logic Programming with Dynami

✍ Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 445 KB

On phase semantics and denotational sema

✍ Antonio Bucciarelli; Thomas Ehrhard 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 218 KB

An active-constraint logic for non-linea

✍ Alok Das; Eugene M. Cliff; Henry J. Kelley 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 775 KB

Recursive constraints and stochastic lin

✍ J. K. Sengupta 📂 Article 📅 1966 🏛 Springer 🌐 English ⚖ 364 KB