✦ LIBER ✦

Specifying and verifying interaction protocols in a temporal action logic

✍ Scribed by Laura Giordano; Alberto Martelli; Camilla Schwind

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A survey on temporal logics for specifyi

✍ Savas Konur 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 574 KB

[Lecture Notes in Computer Science] Form

✍ Gheyi, Rohit; Naumann, David 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 454 KB

Verifying a class of nondeterministic di

✍ Lin, J.-Y.; Ionescu, D. 📂 Article 📅 1992 🏛 Institute of Electrical and Electronics Engineers ⚖ 1006 KB

[ACM Press the 2004 ACM symposium - Nico

✍ Alberti, Marco; Daolio, Davide; Torroni, Paolo; Gavanelli, Marco; Lamma, Evelina 📂 Article 📅 2004 🏛 ACM Press 🌐 English ⚖ 213 KB