Sessions and Session Types: an Overview. (2010)

by Mariangiola Dezani-Ciancaglini, Ugo de’ Liguoro
Venue:In Cosimo Laneve and Jianwen Su, editors, WS-FM’09,