Real time process algebra with time-dependent conditions
Publication date
2000-01
Authors
Baeten, J.C.M.
Middelburg, C.A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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 proccess behaviour on initialization time. We show that the conditions
concerned generalize the conditions introduced earlier in a discrete time
setting in [4].
Keywords
process algebra, ACP, real time, discrete time, absolute timing, relative timing, parametric timing, initialization, time-dependent conditions, conditionals