Vijay D Silva, Sampada Sonalkar, S. Ramesh. Existential abstractions for distributed reactive systems via syntactic transformations. In Christoph M. Kirsch, Reinhard Wilhelm, editors, Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. pages 240-248, ACM, 2007. [doi]
Abstract is missing.