Journal article
A Theory of Prioritizing Composition
Abstract
An operator for the composition of two processes, where one process has priority over the other process, is studied. Processes are described by action systems, and data refinement is used for transforming processes. The operator is shown to be compositional, i.e. monotonic with respect to refinement. It is argued that this operator is adequate for modelling priorities as found in programming languages and operating systems. Rules for …
Authors
Sekerinski E; Sere K
Journal
The Computer Journal, Vol. 39, No. 8, pp. 701–712
Publisher
Oxford University Press (OUP)
Publication Date
August 1, 1996
DOI
10.1093/comjnl/39.8.701
ISSN
0010-4620