A theory of structural stationarity in the π-Calculus Roland Meyer Original Article 13 March 2009 Pages: 87 - 137
The time complexity of typechecking tree-walking tree transducers Joost Engelfriet Original Article 03 December 2008 Pages: 139 - 154
Random walks for selected boolean implication and equivalence problems K. SubramaniHong-Jian LaiXiaofeng Gu Original Article 11 February 2009 Pages: 155 - 168