11 citations · 34 across the 6 of their papers we have counts for
1 paper · 2 filters
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…