Edit Social Preview
Upload an image to customize your repository’s social media preview.
Images should be at least 640×320px (1280×640px for best display).
Upload an image to customize your repository’s social media preview.
Images should be at least 640×320px (1280×640px for best display).
The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behavior. Previous work has focused on static networks with an a priori fixed message size... (read more)
PDF Abstract