×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [extension of fractal]
Home >
extension of fractal
Session 2: task 3.2 GCM, Kracow, June 27 2006 l Current status of GCM Denis Caromel (10 mn each talk) l Wrapping CCA Components as GCM Components Maciej.
214 views
Formal Models for Programming and Composing Correct Distributed Systems Jury : Gordon BlairFabienne BoyerEric Madelaine Pascal PoizatMichel RiveillDavide.
217 views
Behavioural Verification of Distributed Components
72 views
Behavioural Verification of Distributed Components
40 views
GCM/ProActive: a distributed component model, its implementation, and its formalisation
27 views