Kleist, Josva
-
BRICS Report Series No. 52 (1998): RS-52 Imperative Objects and Mobile Processes - Articles
Imperative Objects and Mobile Processes
Abstract PDF -
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. 38 (1996): RS-38 Objects as Mobile Processes - Articles
Objects as Mobile Processes
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