A multi formalisms prototyping approach from formal description to implementation of distributed systems.
Alioune DiagneFabrice KordonPublished in: RSP (1996)
Keyphrases
- distributed systems
- distributed environment
- message passing
- fault tolerant
- distributed computing
- load balancing
- fault tolerance
- geographically distributed
- real time
- distributed database systems
- rapid prototyping
- real time systems
- agent technology
- security policies
- mobile agents
- database
- complexity analysis
- case study
- data replication
- agent based systems
- concurrent systems