Bruni, R.; Corradini, A.; Montanari, U. Modeling a Service and Session Calculus With Hierarchical Graph Transformation. eceasst 2010, 30.