Verifying a Class of Certifying Distributed Programs.

Kim Völlinger Samira Akili

Published in: NFM (2017)

Keyphrases

cooperative
multi agent
distributed systems
distributed data
website
databases
communication overhead
real time
case study
high level
distributed environment
distributed databases