A denotational real-time semantics for shared processors

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationPARLE'91: Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 10-13, 1991)
EditorsE.H.L. Aarts, J. Leeuwen, van, M. Rem
Place of PublicationEindhoven
ISBN (Print)3-540-54142-7
Publication statusPublished - 1991

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'A denotational real-time semantics for shared processors'. Together they form a unique fingerprint.

Cite this