Timing the Untimed: Terminating Successfully while Being Conservative

J. C. M. Baeten, M.R. Mousavi and M. A. Reniers, In Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday, volume 3838 of Lecture Notes in Computer Science, pp. 281--309, Springer-Verlag, December 2005.

Abstract

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.

Paper in .ps format in .pdf format

@InCollection{Baeten05-JWKFestschrift,
    title       = "Timing the Untimed: Terminating Successfully while Being Conservative",
    author      = "Baeten, J. C. M.  and Mousavi, M.R.  and Reniers, M.A.",
    booktitle   = "Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to {Jan Willem Klop} on the Occasion of his 60th Birthday", 
    editors     = "Middeldorp, Aart and van Oostrom, Vincent and van Raamsdonk, Femke and de Vrijer, Roel", 
    series      = "Lecture Notes in Computer Science", 
    volume      = "3838",
    pages       = "281--309",
    publisher   = "Springer-Verlag", 
    year        = "2005"
}