Nestmann, Uwe
-
BRICS Report Series No. 45 (1997): RS-45 What Is a ‘Good’ Encoding of Guarded Choice? - Articles
What Is a ‘Good’ Encoding of Guarded Choice?
Abstract PDF -
BRICS Report Series No. 42 (1999): RS-42 Decoding Choice Encodings - Articles
Decoding Choice Encodings
Abstract PDF -
BRICS Report Series No. 43 (1999): RS-43 What is a ‘Good’ Encoding of Guarded Choice? - Articles
What is a ‘Good’ Encoding of Guarded Choice?
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. 33 (1998): RS-33 Migration = Cloning ; Aliasing (Preliminary Version) - Articles
Migration = Cloning ; Aliasing (Preliminary Version)
Abstract PDF