Guernic. From synchrony to asynchrony (1999)

by A Benveniste, B Caillaud, P Le
Venue:In Proceedings CONCUR’99, volume 1664 of LNCS