Carlos Miguel;Angel Fernández;Leon Vidaller
-;-;-
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science