Toward Software Synthesis for Distributed Applications.

Aleta Ricciardi, Paul Grisham

Browse the full TARK paper archive.