Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs

Fuad Abujarad Borzoo Bonakdarpour Sandeep S. Kulkarni

Published in: PDMC (2009)

Keyphrases

distributed systems
distributed environment
high level
high resolution
computer networks
functional programs
multi agent
cooperative
lightweight
fault tolerant
communication cost
parallel implementation
distributed data
distributed network
connectionist models