Decidability of well-connectedness for distributed synthesis.

Paul Gastin Nathalie Sznajder

Published in: Inf. Process. Lett. (2012)

Keyphrases

distributed systems
distributed environment
peer to peer
cooperative
distributed data
description logics
fault tolerant
artificial intelligence
query answering
communication overhead
distributed architecture