Abstract
The case for developing a formal semantic framework for MASCOT is presented and the choice of particular formal representations is explained. A brief statement of the mathematics of time stamped stream processing functions is followed by an explanation of how time stamped streams, supported by the use of an applicative real-time programming language (ART) and a network algebra, may be used to provide a semantic framework for MASCOT. The presentation is primarily by example, with references to the papers which describe the formal mathematics.
| Original language | English |
|---|---|
| Pages (from-to) | 4. 1-4. 6 |
| Journal | IEE Colloquium (Digest) |
| Issue number | 1987 /58 |
| State | Published - 1987 |
| Externally published | Yes |