Team mimosa

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Semantics of mobility

Participant : Gérard Boudol.

The work on a ``membrane calculus'' done in the Mikado project has been published [18] .


previous
next

Logo Inria