Research Keywords
Paper Recommendation
2001 Iterate Logic.

2004 Guest Editor's Introduction: Special Issue On Annotated Terms (ATerms).

2009 Guest Editors' Foreword.

2005 Looping Caterpillars.

2012 Guest Editors' Foreword.

2005 Effectively Maintaining Single View Consistency In Web Warehouses.

2005 The Security Pi-calculus And Non-interference.

2002 Preface.

2005 Existential Positive Types And Preservation Under Homomorphisisms.

2005 De Bruijn's Syntax And Reductional Behaviour Of Lambda-terms: The Typed Case.

2006 Smooth Orchestrators.

2009 Distributed Semantics For The Pi-calculus Based On Petri Nets With Inhibitor Arcs.

2005 Expressiveness Of A Spatial Logic For Trees.

2006 An Institution Of Modal Logics For Coalgebras.

2011 On Probabilistic Kleene Algebras, Automata And Simulations.

2001 Symbolic Computation Of Maximal Probabilistic Reachability.

2011 Guest Editors' Foreword.

2007 Characterizing Minimal Semantics-preserving Slices Of Function-linear, Free, Liberal Program Schemas.

2008 Lazy Relations.