Achieving discrete relative timing with untimed process algebra

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)


For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed pro- cess algebras have been developed, using untimed pro- cess algebras as initial inspiration. In this paper, we take another approach, considering the possibility to model timing aspects with an untimed process algebra. The advantage is that the algebra itself does not need to be extended, and the available tools can be reused. In contrast to other work, where this approach has been looked at, we focus on ease of modelling, and single delay steps of varying sizes. We present the timing mechanism used, our approach, and some examples.
Originele taal-2Engels
TitelProceedings of the 12th Conference on Engineering of Complex Computer Systems
Plaats van productieWashington
UitgeverijInstitute of Electrical and Electronics Engineers
StatusGepubliceerd - 2007


Duik in de onderzoeksthema's van 'Achieving discrete relative timing with untimed process algebra'. Samen vormen ze een unieke vingerafdruk.

Citeer dit