Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
| |
|
Invited Tutorials
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
Uwe Nestmann1
| (1) |
Technical University of Berlin, Germany |
Abstract
Almost 30 years ago, the research on process calculi gained a lot of momentum with the invention of ACP, CCS and CSP. Later
on, but also already 20 years ago, researchers started to consider so-called mobile variants of process calculi, in which
communication channels were themselves treated as the exchanged data. The original Pi us arose out of a reformulation and
extension of CCS. In turn, it boosted the invention and study of a whole zoo of further process calculi.
In this tutorial, we provide a bird’s-eye view on the jungle of results, techniques and subtleties about mobile process calculi.
Next to a rough overview on the zoo of calculi, this includes the coverage of both semantic and pragmatic aspects, ranging
from notions of equivalence and expressiveness to challenging application domains.
Fulltext Preview (Small, Large)
|
|
|
|
|
|