Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.
The Anh PhamThierry JéronMartin QuinsonPublished in: FORTE (2019)
Keyphrases
- distributed systems
- distributed constraint satisfaction problems
- peer to peer
- dynamic environments
- multi agent
- distributed constraint satisfaction
- distributed environment
- petri net
- fault tolerant
- computing environments
- distributed computing
- virtual organization
- neural network
- partial order reduction
- model checking
- scheduling problem
- scalable distributed