✦ LIBER ✦

Tracing the executions of concurrent programs

✍ Scribed by Elsa Gunter; Doron Peled

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Execution traces and programming-languag

✍ R. G. Hamlet 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 926 KB

The ‘Hoare logic’ of concurrent programs

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

Precise slicing of concurrent programs

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

Another glance at the Alpern-Schneider c

✍ H. Peter Gumm 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Investigating executability of programs

✍ Laslo Gyurish 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 123 KB

Distributed reachability testing of conc

✍ Richard H. Carver; Yu Lei 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB