I agree that this site is using cookies. You can find further informations here.
X
Hüttel, Hans
34  results:
Articles (Online) X
Search for persons X
?
1

A generic type system for higher-order Ψ-calculi:

Hüttel, Hans ; Lybech, Stian ; Bendixen, Alex R..
Information and Computation.  300 (2024)  - p. 105190 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Using session types for reasoning about boundedness in the ..:

Hüttel, Hans
Acta Informatica.  57 (2019)  6 - p. 801-827 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys (CSUR).  49 (2016)  1 - p. 1-36 , 2016
Link: https://dl.acm.org/doi/1..
 
?
4

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys.  49 (2016)  1 - p. 1-36 , 2016
Link: https://doi.org/10.1145/..
 
?
5

Decidable Fragments of a Higher Order Calculus with Locatio..:

Bundgaard, Mikkel ; Godskesen, Jens Chr. ; Haagensen, Bjørn.
Electronic Notes in Theoretical Computer Science.  242 (2009)  1 - p. 113-138 , 2009
Link: https://doi.org/10.1016/..
 
?
6

Type Inference for Correspondence Types:

Gordon, Andrew D. ; Hüttel, Hans ; Hansen, René Rydhof
Electronic Notes in Theoretical Computer Science.  242 (2009)  3 - p. 21-36 , 2009
Link: https://doi.org/10.1016/..
 
?
7

Undecidable equivalences for basic parallel processes:

Hüttel, Hans ; Kobayashi, Naoki ; Suto, Takashi
Information and Computation.  207 (2009)  7 - p. 812-829 , 2009
Link: https://doi.org/10.1016/..
 
?
8

Verification of Correspondence Assertions in a Calculus for..:

Godskesen, Jens Chr. ; Hüttel, Hans ; Kühnrich, Morten
Electronic Notes in Theoretical Computer Science.  229 (2009)  2 - p. 77-93 , 2009
Link: https://doi.org/10.1016/..
 
?
9

Types for Access Control in a Calculus of Mobile Resources:

Hüttel, Hans ; Kühnrich, Morten
Electronic Notes in Theoretical Computer Science.  180 (2007)  1 - p. 3-15 , 2007
Link: https://doi.org/10.1016/..
 
?
10

A Logical Characterisation of Static Equivalence:

Hüttel, Hans ; Pedersen, Michael D.
Electronic Notes in Theoretical Computer Science.  173 (2007)  - p. 139-157 , 2007
Link: https://doi.org/10.1016/..
 
?
11

Decidability Issues for Extended Ping-Pong Protocols:

Hüttel, Hans ; Srba, Jiří
Journal of Automated Reasoning.  36 (2006)  1-2 - p. 125-147 , 2006
Link: https://doi.org/10.1007/..
 
?
12

Deciding Framed Bisimilarity:

Hüttel, Hans
Electronic Notes in Theoretical Computer Science.  68 (2003)  6 - p. 1-18 , 2003
Link: https://doi.org/10.1016/..
 
?
13

Modal Logics for Cryptographic Processes:

Frendrup, Ulrik ; Hüttel, Hans ; Nyholm Jensen, Jesper
Electronic Notes in Theoretical Computer Science.  68 (2002)  2 - p. 124-141 , 2002
Link: https://doi.org/10.1016/..
 
?
14

Aliasing Models for Mobile Objects:

Nestmann, Uwe ; Hüttel, Hans ; Kleist, Josva.
Information and Computation.  175 (2002)  1 - p. 3-33 , 2002
Link: https://doi.org/10.1006/..
 
?
15

Relating Semantic Models for the Object Calculus:

Aceto, Luca ; Hüttel, Hans ; Ingólfsdóttir, Anna.
Electronic Notes in Theoretical Computer Science.  7 (1997)  - p. 3-18 , 1997
Link: https://doi.org/10.1016/..
 
1-15