PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperAssociation control in mobile wireless networksMinkyong Kim, Zhen Liu, et al.INFOCOM 2008
Conference paperEvent matching using the transitive closure of dependency relationsDaniel M. Bikel, Vittorio CastelliACL 2008