Skip to main content
SpringerLink
Log in

PRISMA: A Mobile Calculus with Parametric Synchronization

  • Conference paper
Trustworthy Global Computing (TGC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4661))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of POPL 2001, pp. 104–115. ACM Press, New York (2001)

    Google Scholar 

  2. Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge University Press, Cambridge (1990)

    Google Scholar 

  3. Boreale, M., Buscemi, M.G., Montanari, U.: D-fusion: A distinctive fusion calculus. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 296–310. Springer, Heidelberg (2004)

    Google Scholar 

  4. Dal Zilio, S.: Mobile processes: A commented bibliography. In: MOVEP 2000. LNCS, vol. 2067, pp. 206–222. Springer, Heidelberg (2000)

    Google Scholar 

  5. Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. Journal of the ACM 34(2), 411–449 (1987)

    Article  MathSciNet  Google Scholar 

  6. Ene, C., Muntean, T.: Expressiveness of point-to-point versus broadcast communications. In: Ciobanu, G., Păun, G. (eds.) FCT 1999. LNCS, vol. 1684, pp. 258–268. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Proc. of IPDPS 2001, IEEE Computer Society, Los Alamitos (2001)

    Google Scholar 

  8. Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the Join calculus. In: Proc. of POPL 1996, pp. 372–385. ACM Press, New York (1996)

    Chapter  Google Scholar 

  9. Hirsch, D., Montanari, U.: Synchronized hyperedge replacement with name mobility. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 121–136. Springer, Heidelberg (2001)

    Google Scholar 

  10. Hoare, C.A.R.: A model for communicating sequential processes. In: On the Construction of Programs, Cambridge University Press, Cambridge (1980)

    Google Scholar 

  11. Lanese, I.: Concurrent and located synchronizations in π-calculus. In: Proc. of SOFSEM 2007, LNCS (to appear)

    Google Scholar 

  12. Lanese, I.: Synchronization strategies for global computing models. PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy (2006)

    Google Scholar 

  13. Lanese, I., Montanari, U.: Synchronization algebras with mobility for graph transformations. In: Proc. of FGUC 2004, ENTCS 138, pp. 43–60. Elsevier Science, North-Holland (2004)

    Google Scholar 

  14. Lanese, I., Tuosto, E.: Synchronized hyperedge replacement for heterogeneous systems. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 220–235. Springer, Heidelberg (2005)

    Google Scholar 

  15. MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)

    Google Scholar 

  16. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)

    Google Scholar 

  17. Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II Inform. and Comput. 100(1), 1–40, 41–77 (1992)

    Google Scholar 

  18. Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Proc. of LICS 1998, pp. 176–185. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  19. Winskel, G.: Synchronization trees. Theoret. Comput. Sci. 34, 33–82 (1984)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Pisa, Pisa, Italy

    Roberto Bruni

  2. Computer Science Department, University of Bologna, Bologna, Italy

    Ivan Lanese

Authors
  1. Roberto Bruni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ivan Lanese
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ugo Montanari Donald Sannella Roberto Bruni

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bruni, R., Lanese, I. (2007). PRISMA: A Mobile Calculus with Parametric Synchronization. In: Montanari, U., Sannella, D., Bruni, R. (eds) Trustworthy Global Computing. TGC 2006. Lecture Notes in Computer Science, vol 4661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75336-0_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75336-0_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75333-9

  • Online ISBN: 978-3-540-75336-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation