A sound and complete theory of graph transformations for service programming with sessions and pipelines

Liang Zhao, Roberto Bruni, Zhiming Liu 0001. A sound and complete theory of graph transformations for service programming with sessions and pipelines. Science of Computer Programming, 94:255-288, 2014. [doi]

Abstract

Abstract is missing.