✦ LIBER ✦

On the Complexity of Verifying Concurrent Transition Systems

✍ Scribed by David Harel; Orna Kupferman; Moshe Y. Vardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Complexity of Verifying Consisten

✍ Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 📂 Article 📅 2008 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 451 KB

Some complexity results on transition sy

✍ Kunihiko Hiraishi 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 941 KB

Complexity of Equivalence Problems for C

✍ Alexander Rabinovich 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 355 KB

A method for verifying concurrent Java c

✍ Brad Long; Paul Strooper; Luke Wildman 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB

A note on the complexity of the concurre

✍ Thomas A. Roemer 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 331 KB

Past is for free: on the complexity of v

✍ Nicolas Markey 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 849 KB