@MASTERSTHESIS\{IMM2003-02393,
    author       = "K. W. Bruun",
    title        = "Modelling code mobility",
    year         = "2003",
    keywords     = "Modelling languages, Formal semantics, Code mobility, Mobile agent technologies, Java, Chemical abstract machine (CHAM).",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2393-full.html",
    abstract     = "Many of today's distributed systems rely on the movement of data, code, or even processes between the parts of the system. Among the technologies that support these forms of mobility are Java and several agent technologies. 

This thesis will describe the construction of a new modelling language, the Mobility Language, which can be used to model systems with mobility and particularly all the mobility mechanisms used in Java. The work will also involve identification of a set of requirements, which should be fulfilled by any language that should be able to model all aspects of mobile code systems. 

The distributed join-calculus is taken as the basis of the new language and it is modified and extended in order to allow code reuse and modelling of different mobility mechanisms. As part of this, the concepts of by-type bindings and component instances are introduced in the language.  

The semantics of the language will be described in terms of a chemical abstract machine."
}