Hans Hüttel
Author
Alternate names H. Huttel, Hans Hüttel, Hans Huttel, H. Hüttel
Institution University of Copenhagen
Past institutions University of Copenhagen, Aalborg University, Aarhus University, Reykjavík University, Faculty of Design +5 more
ORCID: Yes
H-index: 17
I10-index: 31
Works count: 123
Citations count: 1,204
Foundations of Session Types and Behavioural Contracts
2016 · Hans Hüttel, Ivan Lanese, et al. · ACM Computing Surveys
Bisimulation Equivalence Is Decidable for All Context-Free Processes
1995 · Steffan Wittrup Christensen, Hans Hüttel, et al. · Information and Computation
Actions speak louder than words: proving bisimilarity for context-free processes
2002 · Hans Hüttel, Colin Stirling