1 |
| D'Agostino, Marcello (ed.) |
| |
1 |
| De Giacomo, Giuseppe (ed.) |
| |
| | 2001 | [Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | Proceedings Article | |
| | 2000 | [Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio] | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | Journal Article | |
| | 1999 | Delzanno, Giorgio
[Galmiche, Didier]
[Martelli, Maurizio] | | A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | Journal Article | |
| | 1999 | Delzanno, Giorgio
[Esparza, Javier]
Podelski, Andreas | | Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66 | Proceedings Article | |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book | |