D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.

D'Silva, V., S. Sonalkar, S. Ramesh, and C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.

D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.