A formal approach to property testing in causally consistent distributed traces.
Hesham HallalSergiy BorodayAlexandre PetrenkoAndreas UlrichPublished in: Formal Aspects Comput. (2006)
Keyphrases
- distributed systems
- cooperative
- computer networks
- distributed environment
- artificial intelligence
- peer to peer
- distributed learning
- expert systems
- multi agent
- knowledge base
- software engineering
- information retrieval
- lightweight
- neural network
- real time
- formal model
- desirable properties
- communication cost
- agent technology
- distributed computing
- software testing
- distributed processing
- database