@inproceedings{24e9fefce8d74d9eaf29432cbac095bf,
title = "Timed process algebra (with a focus on explicit termination and relative-timing)",
abstract = "We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other variants. We concentrate on relative timing, but the treatment of absolute timing is similar. We treat both discrete and dense timing. We build up the theory incrementally. The different algebras are interrelated by embeddings and conservative extensions. As an example, we consider the PAR communication protocol.",
author = "J.C.M. Baeten and M.A. Reniers",
year = "2004",
month = dec,
day = "1",
doi = "10.1007/b110123",
language = "English",
isbn = "3-540-23068-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "59--97",
editor = "M. Bernardo and F. Corradini",
booktitle = "Formal Methods for the Design of Real-Time Systems (Revised Lectures, International School, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004)",
}