Computing Publications

Publications Home » Process Algebra for Discrete Even...

Process Algebra for Discrete Event Simulation

Peter G. Harrison, Ben Strulo

Conference or Workshop Paper
QMIPS'93, Qualitative Methods in Parallel Systems, Erlangen
March, 1993
pp.115–142
Abstract

We present a process algebra or programming language, based on CCS, which may be used to describe discrete event simulations with parallelism. It has extensions to describe the passing of time and probabilistic choice, either discrete, between a countable number of processes, or continuous to choose a random amount of time to wait. It has a clear operational semantics and we give approaches to denotational semantics given in terms of an algebra of equivalences over processes. It raises questions about when two simulations are equivalent and what we mean by non-determinism in the context of the specication of a simulation. It also exemplies some current approaches to adding time and probability to process algebras.

Keywords
AESOP
PDF of full publication (310 kilobytes)
(need help viewing PDF files?)
Postscript of full publication (236 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.