Real Time Process Algebra with Time-dependent Conditions

DMCA

Real Time Process Algebra with Time-dependent Conditions

Cached

Download Links

Other Repositories/Bibliography

DBLP

by J.C.M. Baeten , C. A. Middelburg

BibTeX

@MISC{Baeten_realtime,
    author = {J.C.M. Baeten and C. A. Middelburg},
    title = {Real Time Process Algebra with Time-dependent Conditions},
    year = {}
}

OpenURL

Abstract

We extend the main real time version of ACP presented in [6] with conditionals in which the condition depends on time. This extension facilitates flexible dependence of process behaviour on initialization time. We show that the conditions concerned generalize the conditions introduced earlier in a discrete time setting in [4]. Keywords & Phrases: process algebra, ACP, real time, discrete time, absolute timing, relative timing, parametric timing, initialization, time-dependent conditions, conditionals. 1994 CR Categories: D.1.3, D.3.1, F.1.2, F.3.1. 1 Introduction Algebraic concurrency theories such as ACP [9, 8, 7], CCS [16, 17] and CSP [10, 14] have been extended to deal with time-dependent behaviour in various ways. In [6], we presented results of a systematic study of some of the most important issues relevant to dealing with time-dependent behaviour of processes -- viz. absolute vs relative timing, continuous vs discrete time scale, and separation vs combination of execution of ...

Keyphrases

time-dependent condition real time process algebra discrete time time-dependent behaviour v relative timing initialization time process behaviour relative timing various way important issue discrete time scale flexible dependence main real time version systematic study cr category parametric timing process algebra absolute timing introduction algebraic concurrency theory real time

DMCA