Implementing rigorous web services with process algebra: navigation plan for web services. - Mauricio Chui Rodrigues; Simon Malkowski; João Eduardo Ferreira (SAC, 2009)

Web Services Composition through Data Events Approach. - Mauricio Chui Rodrigues; João Eduardo Ferreira; Calton Pu (IEEE SCC, 2013)