Time and probability in process algebra

S. Andova

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

4 Citations (Scopus)


In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extension of untimed probabilistic process algebra with constructors that allow the explicit specification of timing aspects. In this paper we concentrate on giving axioms and deduction rules for these constructors. We give two probabilistic process algebras with discrete time. The first one only manipulates with processes that may be initialized within the current time slice or may delay a finite and fixed number of time slices. Later, we add processes whose execution can be postponed for an arbitrary number of time slices.
Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology (Proceedings 8th International Conference, AMAST2000, Iowa City IA, USA, May 20-27, 2000)
EditorsT. Rus
Place of PublicationBerlin
ISBN (Print)3-540-67530-2
Publication statusPublished - 2000

Publication series

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


Dive into the research topics of 'Time and probability in process algebra'. Together they form a unique fingerprint.

Cite this