×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [explicit type future]
GCM/ProActive: a distributed component model, its implementation, and its formalisation
31 views
Behavioural Verification of Distributed Components
75 views