Distributed Applications Implemented in Maude with Parameterized Skeletons | Publicación