Presentation of the GCM at : FMCO 2007 - Softwares Technologies Concertation on Formal Methods for Components and Objects - 24-26 October 2007, CWI, Amsterdam, The NetherlandsGRIDCOMP SESSION 16:30 - 17:15 Denis Caromel (INRIA Sophia-Antipolis, FR) From Theory to Practice in Distributed Component Systems |