11 citations · 40 across the 8 of their papers we have counts for
1 paper · 1 filter
Davide Basile, Maurice H. ter Beek
Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addr…