Items where Author is "Alur, Rajeev"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.


Černý, Pavol and Radhakrishna, Arjun and Zufferey, Damien and Chaudhuri, Swarat and Alur, Rajeev (2010) Model checking of linearizability of concurrent list implementations. Technical Report. IST Austria.

Conference or Workshop Item

Alur, Rajeev and Černý, Pavol (2010) Expressiveness of streaming string transducers. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15 - 18, 2010, Chennai, India.

This list was generated on Wed Jun 26 01:01:16 2019 CEST.