Concurrency Theory


The mobility group is interested in the mathematical modeling of distributed and communicating systems through the general theory of process algebras. In the last few years, we have focused on semantics of higher-order processes, allowing channel names (like in Milner's pi-calculus for example) or even processes to be carried across by communications. Research is now conducted on expressiveness and verification methods.

Keywords: bisimulation, concurrency, lambda-calculus, pi-calculus, functional languages, modelisation, asynchrony, semantic, synchronisation, programs verification.

[o] The Mobility Group

[o] The world outside Meije

[o] Les stages proposés dans le projet Meije



[Page Theorie]
Page Theorie

[CMA]
CMA

[MEIJE]
MEIJE

Last modified: Mon Jul 12 99
maintened by: Davide Sangiorgi