We propose a multicore-ready programming language based on a two-level shared memory
model. Concurrency units are schedulers and threads which are dispatched on available …

Il existe de nombreuses approches développées par la communauté Implicit Computational
Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution …

We propose a new scripting language called DSL bas-ed on the synchronous/reactive
model. In DSL, sys-tems are composed of several sites executed asyn-chronously, and each …

We formalise a thread-based concurrent language which makes resource control possible.
Concurrency is based on a two-level model: threads are executed cooperatively when …

We present DSL, an orchestration language based on the synchronous/reactive model. In
DSL, systems are composed of several sites executed asynchronously. Within each site …

The overall objective of the MIMOSA project is to design and study models of concurrent,
distributed and mobile programming, to derive programming primitives from these models …