✦ LIBER ✦

[Lecture Notes in Computer Science] Aspects and Prospects of Theoretical Computer Science Volume 464 || The distributed termination problem : Formal solution and correctness based on petri nets

✍ Scribed by Dassow, Jürgen; Kelemen, Jozef

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Aspe

✍ Dassow, Jürgen; Kelemen, Jozef 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 566 KB

[Lecture Notes in Computer Science] Para

✍ Albrecht, Andreas; Jung, Hermann; Mehlhorn, Kurt 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 471 KB

[Lecture Notes in Computer Science] Form

✍ Păsăreanu, Corina S.; Salaün, Gwen 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 270 KB

[Lecture Notes in Computer Science] Form

✍ Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 498 KB

[Lecture Notes in Computer Science] Petr

✍ Kleijn, Jetty; Yakovlev, Alex 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 629 KB

[Lecture Notes in Computer Science] Form

✍ Cassez, Franck; Jard, Claude 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 460 KB