✦ LIBER ✦

Relaxed Visibility Enhances Partial Order Reduction

✍ Scribed by Doron Peled; Antti Valmari; Ilkka Kokkarinen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cluster-Based Partial-Order Reduction

✍ Twan Basten; Dragan Bošnački; Marc Geilen 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 315 KB

Partial order reductions for failures re

✍ Heike Wehrheim 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 829 KB

State space reduction using partial orde

✍ E.M. Clarke; O. Grumberg; M. Minea; D. Peled 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 182 KB

Partial Order Reduction for Probabilisti

✍ Christel Baier; Pedro D'Argenio; Marcus Groesser 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 432 KB

Partial-order reduction for general stat

✍ Dragan Bošnački; Stefan Leue; Alberto Lluch Lafuente 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 418 KB

Solving the ignoring problem for partial

✍ Sami Evangelista; Christophe Pajault 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 720 KB