-
The SL Synchronous Language
We present a new synchronous programming language named \Name{SL} based on \Name{Esterel}, in which hypothesis about signal presences or absences are not allowed.... -
Inevitable Global States: a Concept to Detect Unstable Properties of Distribu...
When analyzing, testing or debugging a distributed program, an important question one has to answer is: ``Does this computation satisfy a given property~?''. We are... -
Continuation-Passing C: Program Transformations for Compiling Concurrency in ...
Most computer programs are concurrent ones: they need to perform several tasks at the same time. Threads and events are two common techniques to implement concurrency.... -
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Concurrency is concerned with systems of multiple computing agents that interact with each other. Bisimilarity is one of the main representatives of these. Concurrent... -
Spatial and Epistemic Modalities in Constraint-Based Process Calculi
International audience -
Innocent strategies as presheaves and interactive equivalences for CCS (expan...
53 pages. Expanded version of ICE '11 paper DOI 10.4204/EPTCS.59.2 . -
Event structure semantics of the parallel extrusion in the pi-calculus
International audience -
Determinacy and confluence in concurrent and synchronous process calculi
In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and... -
Finding Non-Terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of... -
Information Hiding, Inheritance and Concurrency
We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue of information hiding at the object level and... -
Behavioural Theory for Mobile Ambients
We study a behavioural theory of Cardelli and Gordon's Mobile Ambients, a process calculus for modelling mobile agents in wide-area networks, focussing on reduction... -
Formal Relationships Between Geometrical and Classical Models for Concurrency
International audience -
Cooperative Threads and Preemptive Computations
A two-level model for reactive systems programming is introduced in which threads linked to the same scheduler are run cooperatively and have the possibility to escape... -
Complexité Implicite de Lambda-Calculs Concurrents
Controlling the resource consumption of programs is crucial: besides performance reasons, it has many applications in the field of computer security where e.g. mobile... -
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
International audience -
Study of concurrency in real-time distributed systems
This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent... -
Towards efficient and secure shared memory applications
The invasion of multi-core and multi-processor platforms on all aspects of computing makes shared memory parallel programming mainstream. Yet, the fundamental problems... -
Full abstraction for fair testing in CCS
20 pages. -
Nash equilibria in concurrent games : application to timed games
This work focuses on the study of concurrent and timed games. These two classes of games have been useful models in controller synthesis. In situations where several... -
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system...
