@inproceedings{49a4125f1ddf4c44b83c0b68cf0e3957,
title = "An elimination theorem for regular behaviours with integration",
abstract = "In this paper we consider we consider a variant of the process algebra ACP with rational time and integration. We shall indicate a subdomain of regular processes for which an Elimination Theorem holds: for each pair of processes p, q in this class there is a process z in this class such that p∥q and z have the same behaviour. Furthermore, we indicate by some simple examples that if the subdomain is restricted or enlarged, then the elimination result is lost. The subdomain has a strong link with the model of timed automata of Alur and Dill.",
keywords = "ACP, Elimination Theorem, Integration, Regular process, Relative time",
author = "Fokkink, {Willem Jan}",
year = "1993",
month = jan,
day = "1",
language = "English",
isbn = "9783540572084",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer - Verlag",
pages = "432--446",
editor = "Eike Best",
booktitle = "CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings",
note = "4th International Conference on Concurrency Theory, CONCUR 1993 ; Conference date: 23-08-1993 Through 26-08-1993",
}