Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
ESOP, 2019.
@inproceedings{ESOP-2019-BocchiMVY,
author = "Laura Bocchi and Maurizio Murgia and Vasco Thudichum Vasconcelos and Nobuko Yoshida",
booktitle = "{Proceedings of the 28th European Symposium on Programming}",
doi = "10.1007/978-3-030-17184-1_21",
isbn = "['978-3-030-17183-4', '978-3-030-17184-1']",
pages = "583--610",
publisher = "{Springer}",
title = "{Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes}",
year = 2019,
}