Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications.

Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi

Browse the full VMCAI paper archive.