Towards a Process Algebra for Shared Processors

Mikael Buchholtz; Jacob Andersen; Hans Henrik Løvengreen

doi:10.1016/S1571-0661(04)00228-2

Towards a Process Algebra for Shared Processors

Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen

Research output: Contribution to journal › Conference article › Research › peer-review

86 Downloads (Pure)

Abstract

We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined.

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	52
Issue number	3
Pages (from-to)	275–294
ISSN	1571-0661
DOIs	https://doi.org/10.1016/S1571-0661(04)00228-2
Publication status	Published - 2002
Event	(MTCS 2001) Models for Time-Critical Systems (Satellite Event of CONCUR 2001) - Aalborg, Denmark Duration: 25 Aug 2001 → …

Conference

Conference	(MTCS 2001) Models for Time-Critical Systems (Satellite Event of CONCUR 2001)
Country	Denmark
City	Aalborg
Period	25/08/2001 → …

Access to Document

10.1016/S1571-0661(04)00228-2

Imm780

http://www.imm.dtu.dk/pubdb/p.php?780

Fingerprint Dive into the research topics of 'Towards a Process Algebra for Shared Processors'. Together they form a unique fingerprint.

Cite this

@inproceedings{9a9537907c144dc7b8fdc488fea35220,

title = "Towards a Process Algebra for Shared Processors",

abstract = "We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined.",

author = "Mikael Buchholtz and Jacob Andersen and L{\o}vengreen, {Hans Henrik}",

year = "2002",

doi = "10.1016/S1571-0661(04)00228-2",

language = "English",

volume = "52",

pages = "275–294",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

note = "(MTCS 2001) Models for Time-Critical Systems (Satellite Event of CONCUR 2001), MTCS 2001 ; Conference date: 25-08-2001",

}

TY - GEN

T1 - Towards a Process Algebra for Shared Processors

AU - Buchholtz, Mikael

AU - Andersen, Jacob

AU - Løvengreen, Hans Henrik

PY - 2002

Y1 - 2002

N2 - We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined.

AB - We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined.

U2 - 10.1016/S1571-0661(04)00228-2

DO - 10.1016/S1571-0661(04)00228-2

M3 - Conference article

VL - 52

SP - 275

EP - 294

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 3

T2 - (MTCS 2001) Models for Time-Critical Systems (Satellite Event of CONCUR 2001)

Y2 - 25 August 2001

ER -