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.
PRISMA: A Mobile Calculus with Parametric Synchronization / BRUNI R; LANESE I.. - STAMPA. - 4661:(2007), pp. 132-149. (Intervento presentato al convegno Second Symposium on Trustworthy Global Computing tenutosi a Lucca, Italia nel 7-9/11/2006) [10.1007/978-3-540-75336-0_9].
PRISMA: A Mobile Calculus with Parametric Synchronization
LANESE, IVAN
2007
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
