Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Inheritance in the Join Calculus

Extended Abstract

  • Conference paper
  • First Online:
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000)

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

Abstract

We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, using labeled messages. Classes are partial message definitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. Our model is compatible with the JoCaml implementation of the join calculus.

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. G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.

    Google Scholar 

  2. P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366–411, 1989.

    Article  Google Scholar 

  3. P. D. Blasio and K. Fisher. A calculus for concurrent objects. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR’ 96), LNCS 1119, pages 406–421, 1996.

    Google Scholar 

  4. L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994.

    Google Scholar 

  5. S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Hüttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP’ 98), pages 35–42, June 1998.

    Google Scholar 

  6. C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998.

    Google Scholar 

  7. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL’ 96, pages 372–385, Jan. 1996.

    Google Scholar 

  8. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR’ 96), LNCS 1119, pages 406–421, 1996.

    Google Scholar 

  9. C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Implicit typing á la ML for the join-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory, LNCS 1243, pages 196–212, 1997.

    Google Scholar 

  10. C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Inheritance in the joincalculus. Full version. Available electronically at http://cristal.inria.fr/~remy/work/ojoin.ps.gz, June 2000.

  11. A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In U. Nestmann and B. C. Pierce, editors, HLCL’ 98: High-Level Concurrent Languages, volume 16(3) of entcs, Nice, France, Sept. 1998.

    Google Scholar 

  12. J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. June 1998.

    Google Scholar 

  13. F. Le Fessant. The JoCAML system prototype. Software and documentation available from http://pauillac.inria.fr/jocaml, 1998.

  14. F.Le Fessant and L. Maranget. Compiling join-patterns. Electronic Notes in Computer Science, 16(2), 1998.

    Google Scholar 

  15. S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, chapter 4, pages 107–150. The MIT Press, 1993.

    Google Scholar 

  16. O. Nierstrasz. Towards an object calculus. In O. N. M. Tokoro and P. Wegner, editors, Proceedings of the ECOOP’91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 1–20, 1992.

    Google Scholar 

  17. M. Odersky. Functional nets. In European Symposium on Programming 2000, LNCS. Springer Verlag, 2000.

    Google Scholar 

  18. D. Sangiorgi. An interpretation of typed objects into typed π-calculus. Information and Computation, 143(1):34–73, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  19. D. J. Walker. Objects in the pi-calculus. Information and Computation, 116(2):253–271, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  20. A. Yonezawa, J.-P. Briot, and E. Shibayama. Object-oriented concurrent programming in ABCL/1. ACM SIGPLAN Notices, 21(11):258–268, Nov. 1986. Proceedings of OOPSLA’ 86.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Microsoft Research, 1 Guildhall Street, Cambridge, UK

    Cédric Fournet

  2. Dipartimento di Scienze dell’Informazione, Universitá di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Cosimo Laneve

  3. INRIA Rocquencourt, BP 105, 78153, Le Chesnay Cedex, France

    Luc Maranget & Didier Rémy

Authors
  1. Cédric Fournet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cosimo Laneve
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luc Maranget
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Didier Rémy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Indian Institute of Technology, Delhi, Hauz Khas, 110016, New Delhi, India

    Sanjiv Kapoor  & Sanjiva Prasad  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fournet, C., Laneve, C., Maranget, L., Rémy, D. (2000). Inheritance in the Join Calculus. In: Kapoor, S., Prasad, S. (eds) FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. FSTTCS 2000. Lecture Notes in Computer Science, vol 1974. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44450-5_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-44450-5_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41413-1

  • Online ISBN: 978-3-540-44450-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation