Luca Aceto;Jan Friso Groote
Aalborg Univ., Aalborg, Denmark;CWI, Amsterdam, Netherlands
Register-machine based processes
Journal of the ACM (JACM)
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
On the complete axiomatization for prefix iteration modulo observation congruence
Acta Cybernetica