Visual Specifications for Modular Reasoning about Asynchronous Systems.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Browse the full FORTE paper archive.