Typing component-based communication systems (2009)

by Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, JeanBernard Stefani
Venue:In FMOODS/FORTE, volume 5522 of LNCS