TY  - RPRT
TI  - Communicating Timed Processes with Perfect Timed Channels
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - S. Krishna
PY  - 2018
UR  - https://arxiv.org/abs/1708.05063
ID  - 1708.05063
ER  -