✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets

✍ Scribed by Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

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

[Lecture Notes in Computer Science] Form

✍ Najm, Elie; Pradat-Peyre, Jean-François; Donzeau-Gouge, Véronique Viguié 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 332 KB

[Lecture Notes in Computer Science] Form

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

[Lecture Notes in Computer Science] Form

✍ Larsen, Kim Guldstrand; Niebert, Peter 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 235 KB