R. Bruni, A. Corradini, and U. Montanari, “Modeling a Service and Session Calculus with Hierarchical Graph Transformation”, eceasst, vol. 30, Nov. 2010.