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