IRIT - UMR 5505

Partenaires

Types de relations internationales







Opérateur ET OU

Critère : Formal semantics for synchronous languages with mixed data and control flow

Projet bilatéral
Titre	Formal semantics for synchronous languages with mixed data and control flow
Numéro d'identification	-
Cadre de financement	PHC
Mots-clés	-
Personne(s) IRIT	Marc Pantel(ACADIE) (R)
Equipe(s) IRIT	ACADIE
Personne(s) NON IRIT	-
Institution(s) NON IRIT	Küberneetika Institut, Tallinn (Estonie)
Dates	01/01/2011 -
Site Web	-