Verification of

Relational Multiagent Systems with Data Types

Diego Calvanese, Giorgio Delzanno, Marco Montali

ec

“a”ab

c

pay( ,)

Verification of Relational Multiagent Systems with

Data Types

Diego Calvanese, Giorgio Delzanno, Marco Montali

… but data order does!

mutual exclusion protocols

contract net

auctions

=domains facets domain relations

/