A Specification Language for Distributed Components Implemented in GCM/ProActive.
Antonio CansadoDenis CaromelLudovic HenrioEric MadelaineMarcela RiveraEmil SalageanuPublished in: CoCoME (2007)
Keyphrases
- specification language
- formal specification
- programming language
- description language
- cooperative
- distributed systems
- symbolic execution
- software environment
- software components
- building blocks
- software architecture
- mobile agents
- distributed environment
- peer to peer
- object oriented
- data structure
- orders of magnitude
- databases
- multi agent
- knowledge base
- real world