Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eric Madelaine
Integrated Environment for Verifying and Running Distributed Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Concurrent Design Patterns With Data
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Specification Language for Distributed Components Implemented in GCM/ProActive
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science