Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.
Max I. KanovichTajana Ban KiriginVivek NigamAndre ScedrovCarolyn L. TalcottPublished in: CoRR (2016)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- petri net
- load balancing
- verification method
- distributed environment
- colored petri nets
- message passing
- distributed computing
- model checking
- mobile agents
- geographically distributed
- distributed database systems
- real time systems
- fault tolerance
- mobile computing
- data replication
- high assurance
- deadlock detection
- agent technology
- agent based systems
- business processes