11 citations · 34 across the 6 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…