State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI.

Stanislav Böhm Ondrej Meca Petr Jancar

Published in: FM (2016)

Keyphrases

state space
deadlock detection
distributed systems
distributed database systems
complex systems
relational databases
management system
knowledge management
intelligent systems
databases
information systems
optimal solution
computer systems