✦ LIBER ✦

Denotational semantics for thread algebra

✍ Scribed by Thuy Duong Vu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

From algebraic semantics to denotational

✍ Huibiao Zhu; Jifeng He; Jonathan P. Bowen 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 328 KB

A denotational semantics for Handel-C

✍ Andrew Butterfield 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 253 KB

Linking denotational semantics with oper

✍ Huibiao Zhu; Jifeng He; Jing Li; Geguang Pu; Jonathan P. Bowen 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 267 KB

Thread algebra for poly-threading

✍ J. A. Bergstra; C. A. Middelburg 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 276 KB

Thread algebra for strategic interleavin

✍ J. A. Bergstra; C. A. Middelburg 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 283 KB

Stratified coherence spaces: a denotatio

✍ Patrick Baillot 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 388 KB