✦ LIBER ✦

Atomic semantics of nonatomic programs

✍ Scribed by James H. Anderson; Mohamed G. Gouda

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed Programming || Programs, Sem

✍ Shankar, A. Udaya 📂 Article 📅 2012 🏛 Springer New York ⚖ 340 KB

Semantics of Untyped Functional Programs

✍ S. A. Nigiyan; S. A. Avetisyan 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 89 KB

Semantics of sub-probabilistic programs

✍ Chen, Yixiang ;Wu, Hengyang 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 185 KB

Probabilistic semantics of terminating p

✍ E.A. Kaz'mina 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 472 KB

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 349 KB

Functional semantics of programs with ex

✍ Jean-Chrysostome Bolot; Pankaj Jalote 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 964 KB