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.
|Title of host publication||PARLE'91: Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 10-13, 1991)|
|Editors||E.H.L. Aarts, J. Leeuwen, van, M. Rem|
|Place of Publication||Eindhoven|
|Publication status||Published - 1991|
|Name||Lecture Notes in Computer Science|