Mobile process calculi provide a rigorous mathematical framework to model systems wherein processes can change their communication structure dynamically. Rooted in extensions of the π‐calculus, these ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback