%0 Journal Article
%T A Formal Approach for the Development of Service-Oriented Applications
%A Lorina Negreanu
%A Cristian Giumale
%A Alexandru Agache
%A Mihnea Muraru
%A Matei Popovici
%A Ciprian Dobre
%J Computer Science
%D 2012
%I arXiv
%X Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"
%U http://arxiv.org/abs/1202.2572v2