PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Workshop paperOntologies for specifying and reconciling contexts of web servicesS. Sattanathan, N.C. Narendra, et al.CONTEXT 2005
Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009