Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra. Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. In Farhad Arbab, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Volume 7253 of Lecture Notes in Computer Science, pages 331-349, Springer, 2011. [doi]
Abstract is missing.