Existential abstractions for distributed reactive systems via syntactic transformations.

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

Browse the full EMSOFT paper archive.