×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [component datacode unit]
Documents
GCM/ProActive: a distributed component model, its implementation, and its formalisation
35 views
Documents
Formal Models for Programming and Composing Correct Distributed Systems Jury : Gordon BlairFabienne BoyerEric Madelaine Pascal PoizatMichel RiveillDavide
219 views
Documents
Behavioural Verification of Distributed Components
45 views