Compositional semantics for real-time distributed computing
Ron Koymans, Rudrapatna K. Shyamasundar, Willem Paul de Roever, Rob Gerth, S. Arun-Kumar · TU/e Research Portal · 1986
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, that allows 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 real-time flight control software ([Sunday Times 7-22-84]).