Skip to main content
SpringerLink
Log in

A Calculus of Bounded Capacities

  • Conference paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (ASIAN 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2896))

Included in the following conference series:

Abstract

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation.

F. Barbanera is partially supported by MIUR project NAPOLI, M. Bugliesi by EU-FET project ‘MyThS’ IST-2001-32617, and by MIUR project MEFISTO, M. Dezani-Ciancaglini by EU-FET project DART IST-2001-33477, and by MIUR Projects COMETA and McTati, V. Sassone by EU-FET project ‘MIKADO’ IST-2001-32222. The funding bodies are not responsible for any use that might be made of the results presented here.

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. Bugliesi, M., Castagna, G.: Secure safe ambients. In: POPL 2001, pp. 222–235. ACM Press, New York (2001)

    Chapter  Google Scholar 

  2. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000); D. Le Métayer (ed.) Special Issue on Coordination

    Article  MATH  MathSciNet  Google Scholar 

  3. Charatonik, W., Gordon, A.D., Talbot, J.-M.: Finite-control mobile ambients. In: Le Métayer, D. (ed.) ESOP 2002. LNCS, vol. 2305, pp. 295–313. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Crary, K., Weirich, S.: Resource bound certification. In: POPL 2000, pp. 184–198. ACM Press, New York (2000)

    Chapter  Google Scholar 

  5. Godskesen, J.C., Hildebrandt, T., Sassone, V.: A calculus of mobile resources. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 272–287. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  6. Hennessy, M., Merro, M., Rathke, J.: Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol. 2620, pp. 282–298. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Hennessy, M., Riely, J.: Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems 24(5), 566–591 (2002)

    Article  Google Scholar 

  8. Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation 173, 82–120 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  9. Hofmann, M.: The strength of non size-increasing computation. In: POPL 2002, pp. 260–269. ACM Press, New York (2002)

    Chapter  Google Scholar 

  10. Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: POPL 2003, pp. 185–197. ACM Press, New York (2003)

    Chapter  Google Scholar 

  11. Igarashi, A., Kobayashi, N.: Resource usage analysis. In: POPL 2002, pp. 331–342. ACM Press, New York (2002)

    Chapter  Google Scholar 

  12. Levi, F., Sangiorgi, D.: Controlling interference in Ambients. In: POPL 2000, pp. 352–364. ACM Press, New York (2000)

    Chapter  Google Scholar 

  13. Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685–695. Springer, Heidelberg (1992)

    Google Scholar 

  14. Nicola, R.D., Ferrari, G., Pugliese, R., Venneri, B.: Types for access control. Theoretical Computer Science 240(1), 215–254 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  15. Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6(5), 409–454 (1996)

    MATH  MathSciNet  Google Scholar 

  16. Sangiorgi, D., Valente, A.: A distributed abstract machine for safe ambients. In: Orejas, F., Spirakis, P., Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 408–420. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  17. Teller, D., Zimmer, P., Hirschkoff, D.: Using ambients to control resources. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 288–303. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Yoshida, N., Hennessy, M.: Subtyping and locality in distributed higher order mobile processes (extended abstract). In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 557–573. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Università di Catania, Viale A.Doria 6, 95125, Catania, Italy

    Franco Barbanera

  2. Università “Cà Foscari”, Via Torino 155, 30170, Venezia, Italy

    Michele Bugliesi

  3. Università di Torino, Corso Svizzera 185, 10149, Torino, Italy

    Mariangiola Dezani-Ciancaglini

  4. University of Sussex, Falmer, Brighton, BN1 9RH, UK

    Vladimiro Sassone

Authors
  1. Franco Barbanera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michele Bugliesi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mariangiola Dezani-Ciancaglini
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Vladimiro Sassone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IBM TJ Watson Research Center, Yorktown Heights, PO Box 704, 10598, NY

    Vijay A. Saraswat

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barbanera, F., Bugliesi, M., Dezani-Ciancaglini, M., Sassone, V. (2003). A Calculus of Bounded Capacities. In: Saraswat, V.A. (eds) Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation. ASIAN 2003. Lecture Notes in Computer Science, vol 2896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40965-6_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40965-6_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20632-3

  • Online ISBN: 978-3-540-40965-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation