Implementation in Maude of the Notion of Synchronous Composition in the PALS Architecture