Collaboration

Continent : 
Pays : 
Équipes concernées : 
Institutions partenaires : 
Nom du responsable LIG : 
Alan Schmitt
Descriptif : 

Distributed process calculi, type systems for components