The Kell Calculus is a family of process calculi intended as a basis for studying distributed component-based programming. This paper presents an abstract machine for an instance of this calculus, a proof of its correctness, and a prototype OCaml implementation. The main originality of our abstract machine is that it does not mandate a particular physical… (More)
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the academic community to study the security problems arising from such mobile environments, and in particular, the security policies regulating who can access the information in question.… (More)
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for mod-eling heterogeneous systems. BIP offers two powerful mechanisms for describing composition of components by combining interactions and priorities. A system model is lay-ered. The lowest layer contains atomic components; the second… (More)
This paper 1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M-calculus (higher-order processes and programmable membranes), although in a much simpler setting than the latter. The calculus is equipped with a type system that enforces a… (More)
We present a type system for the Dream component-based message-oriented middleware. This type system aims at preventing the erroneous use of messages, such as the access of missing content. To this end, we adapt to our setting a type system developed for extensible records.
We design BioScape, a concurrent language for the stochas-tic simulation of biological and bio-materials processes in a reactive environment in 3D space. BioScape is based on the Stochastic Pi-Calculus, and it is motivated by the need of individual-based, continuous motion, and continuous space simulation in modeling complex bacteria-materials interactions.… (More)
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any concurrent programming language implementation is the fair execution of threads. After defining fairness for the π-calculus, we show that Pict abstract machine executions implement… (More)
UNLABELLED Cervical cancer continues to be a major public health problem in India in the absence of wide spread organised cervical screening programs. Visual inspection of the cervix with acetic acid (VIA) is an effective, inexpensive screening test that can be combined with simple treatment procedures for early cervical lesions, provided by trained health… (More)
Rapporteur 3 Résumé Nous nous intéressons dans cette thèse au Kell calcul, une famille de calculs de pro-cessus qui a pour objectif de fournir des bases formelles pour la programmation répartiè a composants. Il est basé sur le le π-calcul d'ordre supérieur, et présente une notion de localité qui permet de modéliserà la fois des composants logiciels, et des… (More)
RRsumm Le but de ce projet est d'impllmenter un service de ramasse-miettes (garbage collector) pourune plate-forme objets rrpartis. Dans un premier temps, il s'agit d''tudier les diierents algorithmes existants. Ensuite il faut ddterminer un algorithme implanter dans la plate-forme Jonathan dvelop-ppepar France TTllcom.