Typing Component-Based Communication Systems.

Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

Browse the full FORTE paper archive.