4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2012★ 4 cited
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources
Jose Antonio Mateo, Valentın Valero, Gregorio Dıaz
Web service compositions are gaining attention to develop complex web systems by combination of existing services. Thus, there are many works that leverage the advantages of this a…
cs.LO2011
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Ernesto Pimentel, Valentín Valero
This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting…