Skip to main content
SpringerLink
Log in

Expressiveness of Generic Process Shape Types

  • Conference paper
Trustworthly Global Computing (TGC 2010)

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

Included in the following conference series:

Abstract

Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly⋆. system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed π-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation.

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

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.

Similar content being viewed by others

References

  1. Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility types for mobile ambients. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 230–239. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  2. Cardelli, L., Ghelli, G., Gordon, A.D.: Ambient groups and mobility types. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol. 1872, pp. 333–347. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  3. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Cardelli, L., Gordon, A.D.: Types for mobile ambients. In: POPL, pp. 79–92 (1999)

    Google Scholar 

  5. Gordon, M.A.D.: A calculus for cryptographic protocols: The spi calculus. Inf. & Comp. 148(1), 1–70 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  6. Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)

    Google Scholar 

  7. Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL, pp. 128–141 (2001)

    Google Scholar 

  8. Jakubův, J.: A Second Year Report. Heriot-Watt Univ., MACS (2009), http://www.macs.hw.ac.uk/~jj36

  9. Jakubův, J., Wells, J.B.: The expressiveness of generic process shape types. Technical Report HW-MACS-TR-0069. Heriot-Watt Univ. (July 2009)

    Google Scholar 

  10. König, B.: Generating type systems for process graphs. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 352–367. Springer, Heidelberg (1999)

    Google Scholar 

  11. Makholm, H., Wells, J.B.: Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. Technical Report HW-MACS-TR-0022. Heriot-Watt Univ. (November 2004)

    Google Scholar 

  12. Makholm, H., Wells, J.B.: Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 389–407. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge Press, Cambridge (1999)

    MATH  Google Scholar 

  14. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inf. & Comp. 100(1), 1–77 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  15. Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Control flow analysis for bioambients. ENTCS 180(3), 65–79 (2007)

    Google Scholar 

  16. Turner, D.N.: The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Uni. of Edinburgh (1995) Rep. ECS-LFCS-96-345

    Google Scholar 

  17. Wells, J.B.: The essence of principal typings. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 913–925. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Yoshida, N.: Graph types for monadic mobile processes. In: Chandru, V., Vinay, V. (eds.) FSTTCS 1996. LNCS, vol. 1180, pp. 371–386. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Heriot-Watt University, UK

    Jan Jakubův & J. B. Wells

Authors
  1. Jan Jakubův
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. B. Wells
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, LMU Munich, Oettingenstr. 67, 80538, Munich, Germany

    Martin Wirsing

  2. Institut für Informatik, LMU München, Oettingenstr. 67, 80538, München, Germany

    Martin Hofmann  & Axel Rauschmayer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jakubův, J., Wells, J.B. (2010). Expressiveness of Generic Process Shape Types. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds) Trustworthly Global Computing. TGC 2010. Lecture Notes in Computer Science, vol 6084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15640-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15640-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15639-7

  • Online ISBN: 978-3-642-15640-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation