Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcela Rivera
A Specification Language for Distributed Components Implemented in GCM/ProActive
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
GCM: A Grid Extension to Fractal for Autonomous Distributed Components
Annales des Telecommunications/Annals of Telecommunications
Electronic Engineering
Electrical
Specification Languages for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ARC: A Specification Language for Communicating Systems
Computer Journal
Computer Science
A Functional-Test Specification Language.
A Visual Specification Language for Model-To-Model Transformations
What About Proactive Language Control?
Psychonomic Bulletin and Review
Developmental
Arts
Educational Psychology
Cognitive Psychology
Humanities
Experimental
Distributed Applications Implemented in Maude With Parameterized Skeletons
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ELIOS-OBJ Theorem Proving in a Specification Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Framework With Proactive Nodes for Scheduling and Optimizing Distributed Embedded Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
