Files in this item

FilesDescriptionFormat

application/octet-stream

application/octet-streamsynchronousCompositionPALS.tgz (29kB)
MAUDE Source CodeUnknown

Description

Title:Implementation in Maude of the Notion of Synchronous Composition in the PALS Architecture
Author(s):Katelman, Michael
Contributor(s):Meseguer, José
Subject(s):Maude
PALS
Abstract:We give Maude source code for a meta-level function that automatically generates the synchronous composition of a set of synchronous machines, defined in the sense used by the PALS framework.
Issue Date:2010-05-20
Type:Other
URI:http://hdl.handle.net/2142/16276
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2010-05-21


This item appears in the following Collection(s)

Item Statistics