Coordination in the ImpUNITY framework (Q1818367)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coordination in the ImpUNITY framework |
scientific article |
Statements
Coordination in the ImpUNITY framework (English)
0 references
15 February 2000
0 references
coordination languages
0 references
program specifications
0 references
refinement calculus
0 references
program transformations
0 references
unity
0 references
