Timing the untimed : terminating successfully while being conservative

J.C.M. Baeten; M.R. Mousavi; M.A. Reniers

doi:10.1007/11601548_15

Timing the untimed : terminating successfully while being conservative

J.C.M. Baeten, M.R. Mousavi, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Editors	A. Middeldorp, V. Oostrom, van, F. Raamsdonk, van, R.C. Vrijer, de
Place of Publication	Berlin
Publisher	Springer
Pages	251-279
ISBN (Print)	3-540-30911-X
DOIs	https://doi.org/10.1007/11601548_15
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3838
ISSN (Print)	0302-9743

Access to Document

10.1007/11601548_15

Cite this

Baeten, J. C. M., Mousavi, M. R., & Reniers, M. A. (2005). Timing the untimed : terminating successfully while being conservative. In A. Middeldorp, V. Oostrom, van, F. Raamsdonk, van, & R. C. Vrijer, de (Eds.), Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday (pp. 251-279). (Lecture Notes in Computer Science; Vol. 3838). Springer. https://doi.org/10.1007/11601548_15

Baeten, J.C.M. ; Mousavi, M.R. ; Reniers, M.A. / Timing the untimed : terminating successfully while being conservative. Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. editor / A. Middeldorp ; V. Oostrom, van ; F. Raamsdonk, van ; R.C. Vrijer, de. Berlin : Springer, 2005. pp. 251-279 (Lecture Notes in Computer Science).

@inbook{5da7eaf90b9a4b09aceb73861b3e0892,

title = "Timing the untimed : terminating successfully while being conservative",

author = "J.C.M. Baeten and M.R. Mousavi and M.A. Reniers",

year = "2005",

doi = "10.1007/11601548_15",

language = "English",

isbn = "3-540-30911-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "251--279",

editor = "A. Middeldorp and {Oostrom, van}, V. and {Raamsdonk, van}, F. and {Vrijer, de}, R.C.",

booktitle = "Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday",

address = "Germany",

}

Baeten, JCM, Mousavi, MR & Reniers, MA 2005, Timing the untimed : terminating successfully while being conservative. in A Middeldorp, V Oostrom, van, F Raamsdonk, van & RC Vrijer, de (eds), Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Lecture Notes in Computer Science, vol. 3838, Springer, Berlin, pp. 251-279. https://doi.org/10.1007/11601548_15

Timing the untimed : terminating successfully while being conservative. / Baeten, J.C.M.; Mousavi, M.R.; Reniers, M.A.

Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. ed. / A. Middeldorp; V. Oostrom, van; F. Raamsdonk, van; R.C. Vrijer, de. Berlin : Springer, 2005. p. 251-279 (Lecture Notes in Computer Science; Vol. 3838).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Timing the untimed : terminating successfully while being conservative

AU - Baeten, J.C.M.

AU - Mousavi, M.R.

AU - Reniers, M.A.

PY - 2005

Y1 - 2005

U2 - 10.1007/11601548_15

DO - 10.1007/11601548_15

M3 - Chapter

SN - 3-540-30911-X

T3 - Lecture Notes in Computer Science

SP - 251

EP - 279

BT - Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

A2 - Middeldorp, A.

A2 - Oostrom, van, V.

A2 - Raamsdonk, van, F.

A2 - Vrijer, de, R.C.

PB - Springer

CY - Berlin

ER -

Baeten JCM, Mousavi MR, Reniers MA. Timing the untimed : terminating successfully while being conservative. In Middeldorp A, Oostrom, van V, Raamsdonk, van F, Vrijer, de RC, editors, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer. 2005. p. 251-279. (Lecture Notes in Computer Science). doi: 10.1007/11601548_15