Communication in a parallel system frequently involves moving data from the memory of one
node to the memory of another; this is the standard communication model employed in …

Formal process languages inheriting the concurrency and communication features of
process algebras are convenient formalisms to model distributed applications, especially …

Formal process languages inheriting the concurrency and communication features of
process algebras are convenient formalisms to model distributed applications, especially …

In our ongoing work, we use constraint automata to compile protocol specifications
expressed as Reo connectors into efficient executable code, eg, in C. We have by now …

Nowadays, cyber-physical systems consist of a large and possibly unbounded number of
nodes operating in a partially unknown environment to which they need to adapt. They also …

Correct distributed implementation of real-time systems has always been a challenging task.
The coordination of components executing on a distributed platform has to be ensured by …

Abstract Design, implementation and verification of distributed real-time systems are
acknowledged to be very hard tasks. Such systems are prone to different kinds of delay …

In this article, we report on our experience regarding devising, implementing, and deploying
a scheduler for multi-source fusion in the context of SCADA systems (Supervisory Control …

LNT est un langage formel de spécification récent, basé sur les algèbres de processus, où
plusieurs processus concurrents et asynchrones peuvent interagir par rendez-vous multiple …

High-level concurrency notations and abstractions have several well-known software
engineering advantages when it comes to programming concurrency protocols among …