19 citations · 31 across the 12 of their papers we have counts for
1 paper · 1 filter
Davide Basile, Maurice H. ter Beek
Contract automata allow to formally define the behaviour of service contracts in terms of service offers and requests, some of which are moreover optional and some of which are nec…