A formal framework for service modeling and prototyping

Elvinia Riccobene, Patrizia Scandurra. A formal framework for service modeling and prototyping. Formal Asp. Comput., 26(6):1077-1113, 2014. [doi]

Abstract

Abstract is missing.