Hüttel, Hans
-
BRICS Report Series Nr. 33 (1998): RS-33 Migration = Cloning ; Aliasing (Preliminary Version) - Artikler
Migration = Cloning ; Aliasing (Preliminary Version)
Resumé PDF (English) -
BRICS Report Series Nr. 25 (2002): RS-25 Deciding Framed Bisimilarity - Artikler
Deciding Framed Bisimilarity
Resumé PDF (English) -
BRICS Report Series Nr. 23 (2004): RS-23 Recursion vs. Replication in Simple Cryptographic Protocols - Artikler
Recursion vs. Replication in Simple Cryptographic Protocols
Resumé PDF (English) -
BRICS Report Series Nr. 47 (2003): RS-47 Recursive Ping-Pong Protocols - Artikler
Recursive Ping-Pong Protocols
Resumé PDF (English) -
BRICS Report Series Nr. 39 (1996): RS-39 On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey - Artikler
On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey
Resumé PDF (English) -
BRICS Report Series Nr. 38 (1996): RS-38 Objects as Mobile Processes - Artikler
Objects as Mobile Processes
Resumé PDF (English) -
BRICS Report Series Nr. 8 (1996): RS-8 Bisimulations for Asynchronous Mobile Processes - Artikler
Bisimulations for Asynchronous Mobile Processes
Resumé PDF (English) -
BRICS Report Series Nr. 44 (1999): RS-44 Aliasing Models for Mobile Objects - Artikler
Aliasing Models for Mobile Objects
Resumé PDF (English) -
BRICS Report Series Nr. 49 (1996): RS-49 Objects, Types and Modal Logics - Artikler
Objects, Types and Modal Logics
Resumé PDF (English)