✦ LIBER ✦

Properties of Concurrent Programs

✍ Scribed by Chandy, K. Mani

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Maximally Concurrent Programs

✍ Rajeev Joshi; Jayadev Misra 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 159 KB

The Evolution of Concurrent Programs

✍ Brian J. Ross 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 716 KB

Precise slicing of concurrent programs

✍ Dennis Giffhorn; Christian Hammer 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 1011 KB

Structural testing of concurrent program

✍ Taylor, R.N.; Levine, D.L.; Kelly, C.D. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 987 KB

The ‘Hoare logic’ of concurrent programs

✍ Leslie Lamport 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 864 KB

Tracing the executions of concurrent pro

✍ Elsa Gunter; Doron Peled 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 149 KB