×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [component datacode unit]
GCM/ProActive: a distributed component model, its implementation, and its formalisation
31 views
Formal Models for Programming and Composing Correct Distributed Systems Jury : Gordon BlairFabienne BoyerEric Madelaine Pascal PoizatMichel RiveillDavide
216 views
Behavioural Verification of Distributed Components
40 views