There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-)extensions of ACP with successful termination. Here, we point out some design decisions which were the possible causes of this misfortune and by taking different decisions, we propose a spectrum of timed process algebras ordered by equational conservativity ordering. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Baeten, J. C. M., Mousavi, M. R., & Reniers, M. A. (2005). Timing the untimed: Terminating successfully while being conservative. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3838 LNCS, 251–279. https://doi.org/10.1007/11601548_15
Mendeley helps you to discover research relevant for your work.