Distributed Synthesis for Regular and Contextfree Specifications.

Wladimir Fridman Bernd Puchala

Published in: MFCS (2011)

Keyphrases

distributed systems
distributed environment
multi agent
cooperative
lightweight
fault tolerant
data sets
databases
high level
data sources
mobile agents
computer networks
communication cost
distributed data
distributed processing
program synthesis