The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin (Q2576584)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin |
scientific article |
Statements
The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin (English)
0 references
13 December 2005
0 references
Industrial process control
0 references
Transparent code distribution
0 references
