Atomic invariants verification and deadlock detection at compile-time.

Ionut Tamas Ioan Salomie Marcel Antal

Published in: ICCP (2018)

Keyphrases

deadlock detection
distributed database systems
distributed systems
manufacturing systems
communication protocol
computer networks
distributed databases
database systems
multi dimensional
distributed environment
inter organizational workflow
information systems