A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
Fundamenta Informaticae
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Fundamenta Informaticae
Hi-index | 0.00 |