Angelo Ferrando

Identifiers

No identifiers captured yet.

Papers (2)

1. KindHML: formal verification of smart contracts based on Hennessy-Milner logic cs.CR · 2026 · author #2
2. On the Enactability of Agent Interaction Protocols: Toward a Unified Approach cs.MA · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Enrico Lipparini 1 shared papers
• Frank Dignum 1 shared papers
• Massimo Bartoletti 1 shared papers
• Michael Winikoff 1 shared papers
• Stephen Cranefield 1 shared papers
• Vadim Malvone 1 shared papers
• Viviana Mascardi 1 shared papers