Jos C. M. Baeten. Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. Mathematical Structures in Computer Science, 13(4):589-618, 2003.
@article{Baeten03,
title = {Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination},
author = {Jos C. M. Baeten},
year = {2003},
tags = {process algebra, termination, C++, algebra},
researchr = {https://researchr.org/publication/Baeten03},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {13},
number = {4},
pages = {589-618},
}