Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
A new time extension to φ-calculus based on time consuming transition semantics
Languages for system specification
Hi-index | 0.00 |