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

Katelman, Michael

Permalink

https://hdl.handle.net/2142/16276 Copy

Description

Title

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

Author(s)

Katelman, Michael

Contributor(s)

Meseguer, José

Issue Date

2010-05-20

Keyword(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.

Type of Resource

other

Permalink

http://hdl.handle.net/2142/16276

Owning Collections