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