Deadlock Detection in Linear Recursive Programs.

Elena Giachino Cosimo Laneve

Published in: SFM (2014)

Keyphrases

deadlock detection
recursive programs
distributed database systems
program synthesis
logic programs
distributed systems
transformation rules
communication protocol
management system
computer networks
manufacturing systems
multi dimensional
distributed databases
concurrency control