@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",

}