@inproceedings{b6b525eed3254eaca34e1a2273369407,
title = "A denotational real-time semantics for shared processors",
abstract = "To describe the real-time behaviour of an Occam-like real-time language with concurrency and synchronous message passing, a denotational semantics is presented. New in this paper is the generalization of the maximal parallelism model, where each process has its own processor, to multiprogramming where several processes may share a processor and statements are scheduled according to dynamic priorities. Our compositional semantics based on several assumptions about the scheduling policy and the communication mechanism. These assumptions are motivated by an operational description of program execution.",
author = "J.J.M. Hooman",
year = "1991",
doi = "10.1007/3-540-54152-7_65",
language = "English",
isbn = "3-540-54142-7",
volume = "2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "184--201",
editor = "E.H.L. Aarts and {Leeuwen, van}, J. and M. Rem",
booktitle = "PARLE'91: Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 10-13, 1991)",
address = "Germany",
}