✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 510 || Adding action refinement to a finite process algebra

✍ Scribed by Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Díaz, Josep; Karhumäki, Juhani; Lepistö, Arto; Sannella, Donald 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 169 KB

[Lecture Notes in Computer Science] Auto

✍ Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 894 KB

[Lecture Notes in Computer Science] Auto

✍ Even, Shimon; Kariv, Oded 📂 Article 📅 1981 🏛 Springer Berlin Heidelberg ⚖ 690 KB

[Lecture Notes in Computer Science] Auto

✍ Baeten, Jos C. M.; Lenstra, Jan Karel; Parrow, Joachim; Woeginger, Gerhard J. 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 391 KB

[Lecture Notes in Computer Science] Auto

✍ Diaz, Josep 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 748 KB

[Lecture Notes in Computer Science] Auto

✍ Czumaj, Artur; Mehlhorn, Kurt; Pitts, Andrew; Wattenhofer, Roger 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 206 KB