Login / Signup
Synthesis of Distributed Programs.
Vahur Kotkas
Published in:
SPLST (2003)
Keyphrases
</>
distributed systems
cooperative
functional programs
lightweight
distributed environment
computer networks
fault tolerant
agent technology
multi agent
case study
web services
search engine
data sets
texture synthesis
distributed data
loosely coupled
fixpoint
program synthesis
artificial intelligence