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 Sat Dec 15 01:01:23 2018 CET.