On Distributed Program Specification and Synthesis in Architectures with Cycles.

Julien Bernet, David Janin

Browse the full FORTE paper archive.