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 proceedingChapterAcademicpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationProcesses, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
EditorsA. Middeldorp, V. Oostrom, van, F. Raamsdonk, van, R.C. Vrijer, de
Place of PublicationBerlin
PublisherSpringer
Pages251-279
ISBN (Print)3-540-30911-X
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
Volume3838
ISSN (Print)0302-9743

Cite this