SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Fabio Gadducci
Latest
A Net-based Approach to Web Services Publication and Replaceability
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
On the Use of Behavioural Equivalences for Web Services' Development
A Behavioural Congruence for Web Services
Cite
×