Types and programming languages BC Pierce, C Benjamin MIT press, 2002 | 3149 | 2002 |

Bisimulation equivalence is decidable for all context-free processes S Christensen, H Huttel, C Stirling Information and Computation 121 (2), 143-148, 1995 | 123 | 1995 |

Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016 | 120 | 2016 |

Bisimulation equivalence is decidable for all context-free processes S Christensen, H Hüttel, C Stirling International Conference on Concurrency Theory, 138-147, 1992 | 115 | 1992 |

Actions speak louder than words: Proving bisimilarity for context-free processes H Huttel, C Stirling [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991 | 113* | 1991 |

Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994 | 103 | 1994 |

The use of static constructs in a model process logic H Hüttel, KG Larsen International Symposium on Logical Foundations of Computer Science, 163-180, 1989 | 78 | 1989 |

Undecidable equivalences for basic parallel processes H Hüttel International Symposium on Theoretical Aspects of Computer Software, 454-464, 1994 | 73* | 1994 |

Deciding framed bisimilarity H Hüttel Electronic Notes in Theoretical Computer Science 68 (6), 1-18, 2003 | 58 | 2003 |

Bisimulations for asynchronous mobile processes M Hansen, H Hüttel, J Kleist BRICS Report Series 3 (8), 1996 | 29 | 1996 |

Silence is golden: Branching bisimilarity is decidable for context-free processes H Hüttel International Conference on Computer Aided Verification, 2-12, 1991 | 28 | 1991 |

Decidability, behavioural equivalences and infinite transition graphs H Hüttel University of Edinburgh. College of Science and Engineering. School of …, 1991 | 28 | 1991 |

Transitions and Trees: An Introduction to Structural Operational Semantics H Hüttel Cambridge University Press, 2010 | 24 | 2010 |

Recursion versus replication in simple cryptographic protocols H Hüttel, J Srba International Conference on Current Trends in Theory and Practice of …, 2005 | 21 | 2005 |

Towards automatic bisimilarity checking in the spi calculus AS Elkjær, M Höhle, H Hüttel, K Overgård, CS Calude, MJ Dinneen Combinatorics, Computation & Logic 21 (3), 175-189, 1999 | 21 | 1999 |

Typed ψ-calculi H Hüttel International Conference on Concurrency Theory, 265-279, 2011 | 20 | 2011 |

Deciding framed bisimilarity H Huttel Electronic Notes in Theoretical Computer Science 68 (6), 1-18, 2003 | 20 | 2003 |

Objects as mobile processes H Hüttel, J Kleist BRICS, Department of Computer Science, Univ., 1996 | 19 | 1996 |

Decidability Issues for Infinite-State Processes--a Survey S Christensen, H Hüttel | 19 | 1996 |

Formal design of reliable real time systems H Gregersen, HE Jensen | 19 | 1995 |