Koymans, R. ; Shyamasundar, R. K. ; de Roever, W. P. ; Gerth, R. ; ArunKumar, S. (1998) Compositional semantics for real-time distributed computing Information and Computation, 79 (3). pp. 210-256. ISSN 0890-5401
Full text not available from this repository.
Official URL: http://www.sciencedirect.com/science/article/pii/0...
Related URL: http://dx.doi.org/10.1016/0890-5401(88)90020-X
Abstract
We give a compositional denotational semantics for a real-time distributed language, based on the linear history semantics for CSP of Francez et al. Concurrent execution is not modelled by interleaving but by an extension of the maximal parallelism model of Salwicki and Muldner, that allows for the modelling of transmission time for communications. The importance of constructing a semantics (and, in general, a proof theory) for real-time is stressed by such different sources as the problem of formalizing the real-time aspects of Ada and the elimination of errors in the real-time flight control software of the NASA space shuttle (Comm. ACM 27 (1984)).
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Elsevier Science. |
| ID Code: | 56572 |
| Deposited On: | 24 Aug 2011 11:01 |
| Last Modified: | 24 Aug 2011 11:01 |
Repository Staff Only: item control page
