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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.