Timing the Untimed: Terminating Successfully While Being Conservative

Autor:	Baeten, J.C.M., Mousavi, M.R., Reniers, M.A., Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F., Vrijer, de, R.C.
Přispěvatelé:	Electronic Systems, Formal System Analysis
Rok vydání:	2005
Předmět:	Normalization property Process (engineering) Computer science Process calculus Transition system Calculus Misfortune
Zdroj:	Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116 Processes, Terms and Cycles Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, 251-279 STARTPAGE=251;ENDPAGE=279;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
DOI:	10.1007/11601548_15
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20312aa1d7f7deae7daef7769d6c9b7f https://doi.org/10.1007/11601548_15 Zobrazit plný text záznamu