Timed CCP compositionally embeds Argos and Lustre (Q1882807)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Timed CCP compositionally embeds Argos and Lustre |
scientific article; zbMATH DE number 2105179
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Timed CCP compositionally embeds Argos and Lustre |
scientific article; zbMATH DE number 2105179 |
Statements
Timed CCP compositionally embeds Argos and Lustre (English)
0 references
1 October 2004
0 references
Engineering design languages
0 references
Synchronous languages
0 references
Expressiveness
0 references
Compositional embedding
0 references
