Benoît Caillaud

Documents

Affiliations actuelles

Publications

"albert-benveniste"

"dpotop"

	Concurrency in synchronous systems Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste [Research Report] RR-5110, INRIA. 2004 Rapport inria-00071472v1

	Concurrency in Synchronous Systems Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste Formal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩ Article dans une revue inria-00124252v1