Export 7 results:
Filters: Author is Abreu, Joao  [Clear All Filters]
Fiadeiro, J., A. Lopes, and J. Abreu, "A formal model for service-oriented interactions", Science of Computer Programming, vol. 77, no. 5: Elsevier, pp. 577–608, 2012.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.