Automatic Implementation of Distributed Systems Formal Specifications.
Luiz Henrique Castelo BrancoAntônio Francisco do PradoWanderley Lopes de SouzaMarcelo Sant'AnnaPublished in: IPDPS Workshops (2000)
Keyphrases
- distributed systems
- formal specification
- concurrent systems
- fault tolerant
- distributed environment
- specification language
- object oriented design
- load balancing
- fault tolerance
- geographically distributed
- distributed computing
- model checking
- reverse engineering
- real time systems
- design methodology
- artificial intelligence
- formal specification language
- operating system
- distributed database systems
- replicated data
- mobile agents
- specification languages
- protocol specification
- software development environments
- open source