9 citations · 9 across the 1 of their papers we have counts for
1 paper
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari +1
We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata - oblivious of their partners…