Bruni, R., Corradini, A., & Montanari, U. (2010). Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electronic Communications of the EASST, 30. https://doi.org/10.14279/tuj.eceasst.30.427