Research Keywords
Paper Recommendation
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.

2005 Effectively Maintaining Single View Consistency In Web Warehouses.

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.

2011 Guest Editors' Foreword.

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

2008 Lazy Relations.

2001 Symbolic Computation Of Maximal Probabilistic Reachability.

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

2009 Guest Editors' Foreword.

2005 Looping Caterpillars.

2012 Guest Editors' Foreword.

2001 Iterate Logic.