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