@article{BartolettiCimoliMurgia:LMCS:2017,
    Author = {Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio},
    File = {1710.05388 (0) - a - a - p.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {December},
    Title = {{Timed Session Types}},
    URL = {https://lmcs.episciences.org/4133},
    Volume = {{Volume 13, Issue 4}},
    Year = {2017},
    bdsk-url-1 = {https://lmcs.episciences.org/4133},
    bdsk-url-2 = {https://dx.doi.org/10.23638/LMCS-13(4:25)2017},
    date-added = {2018-03-13 09:55:26 +0000},
    date-modified = {2018-03-13 09:58:01 +0000},
    doi = {10.23638/LMCS-13(4:25)2017}
}

@article{BartolettiCimoliMurgia:LMCS:2017, Author = {Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio}, File = {1710.05388 (0) - a - a - p.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {December}, Title = {{Timed Session Types}}, URL = {https://lmcs.episciences.org/4133}, Volume = {{Volume 13, Issue 4}}, Year = {2017}, bdsk-url-1 = {https://lmcs.episciences.org/4133}, bdsk-url-2 = {https://dx.doi.org/10.23638/LMCS-13(4:25)2017}, date-added = {2018-03-13 09:55:26 +0000}, date-modified = {2018-03-13 09:58:01 +0000}, doi = {10.23638/LMCS-13(4:25)2017} }