It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
Chris Hankin, Flemming Nielson, Hanne Riis Nielson...
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...