16 citations · 33 across the 10 of their papers we have counts for
1 paper · 2 filters
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of…