Reasoning (on) Service Component Ensembles in Rewriting Logic

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing. Reasoning (on) Service Component Ensembles in Rewriting Logic. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 188-211, Springer, 2014. [doi]

Abstract

Abstract is missing.