Constraint-Based Oracles for Timed Distributed Systems.
Nassim BenharratChristophe GastonRobert M. HieronsArnault LapitrePascale Le GallPublished in: ICTSS (2017)
Keyphrases
- distributed systems
- petri net
- fault tolerant
- distributed environment
- fault tolerance
- distributed computing
- distributed database systems
- geographically distributed
- message passing
- load balancing
- operating system
- real time systems
- mobile agents
- test cases
- deadlock detection
- security policies
- concurrent systems
- agent technology
- real time
- software development environments
- loosely coupled
- mobile computing
- digital libraries