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.
|
 |
PRISMA: A Mobile Calculus with Parametric Synchronization
| |
|
PRISMA: A Mobile Calculus with Parametric Synchronization
Roberto Bruni1 and Ivan Lanese2 
| (1) |
Computer Science Department, University of Pisa, Pisa, Italy |
| (2) |
Computer Science Department, University of Bologna, Bologna, Italy |
Abstract
We present PRISMA, a parametric calculus that can be instantiated with different interaction policies, defined as synchronization
algebras with mobility of names (SAMs). We define both operational semantics and observational semantics of PRISMA, showing
that the second one is compositional for any SAM. We give examples based on heterogeneous SAMs, a case study on Fusion Calculus and some simple applications. Finally,
we show that basic categorical tools can help to relate and to compose SAMs and PRISMA processes in an elegant way.
Research supported by the Project FET-GC II IST 16004 Sensoria.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|