Termination in Timed Process Algebra (2000)
by
J.C.M. Baeten
,
M.A. Reniers
| Venue: | Formal Aspects of Computing |
| Citations: | 152 - 25 self |
BibTeX
@ARTICLE{Baeten00terminationin,
author = {J.C.M. Baeten and M.A. Reniers},
title = {Termination in Timed Process Algebra},
journal = {Formal Aspects of Computing},
year = {2000},
volume = {3}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We investigate different forms of termination in timed process algebras. The integrated framework of discrete and dense time, relative and absolute time process algebras is extended with forms of successful and unsuccessful termination. The different algebras are interrelated by embeddings and conservative extensions.
