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]

Authors

Liang Zhao

This author has not been identified. Look up 'Liang Zhao' in Google

Roberto Bruni

This author has not been identified. Look up 'Roberto Bruni' in Google

Zhiming Liu 0001

This author has not been identified. Look up 'Zhiming Liu 0001' in Google