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.
My Menu
Saved Items

PRISMA: A Mobile Calculus with Parametric Synchronization

Roberto BruniContact Information and Ivan LaneseContact Information

(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.

Contact Information Roberto Bruni
Email: bruni@di.unipi.it

Contact Information Ivan Lanese
Email: lanese@cs.unibo.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)