×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [component datacode unit]
Home >
component datacode unit
Formal Models for Programming and Composing Correct Distributed Systems Jury : Gordon BlairFabienne BoyerEric Madelaine Pascal PoizatMichel RiveillDavide.
217 views
Behavioural Verification of Distributed Components
40 views
GCM/ProActive: a distributed component model, its implementation, and its formalisation
27 views