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

2 Citations (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
ISBN (Print)3-540-30911-X
Publication statusPublished - 2005

Publication series

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

Cite this