✦ LIBER ✦

Thread algebra for strategic interleaving

✍ Scribed by J. A. Bergstra; C. A. Middelburg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Thread Algebra with Multi-Level Strate

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

Thread algebra for poly-threading

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

Denotational semantics for thread algebr

✍ Thuy Duong Vu 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 236 KB

Linear Algebra Considerations for the Mu

✍ Dan Negrut 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 220 KB