PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
Abstract. We present here a methodology for programming active networks in the environment dened by our new language PLAN (Packet Language for Active Networks). This environment p...
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore...
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...