Skip to main content
SpringerLink
Log in
Book cover

International Conference on Current Trends in Theory and Practice of Computer Science

SOFSEM 1996: SOFSEM'96: Theory and Practice of Informatics pp 385–392Cite as

A new proposal of concurrent process calculus

  • Contributed Papers
  • Conference paper
  • First Online:

  • 119 Accesses

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

Abstract

In this paper, we present a new calculus to model concurrent systems, the Parallel Label-Selective λ-calculus. This calculus integrates the (functional) expressiveness of the λ-calculus in a unified framework with some powerful features for expressing communication actions and supporting the independence of processes which can be a main source of improvement when performing parallel computations.

This work has been partially supported by CICYT, TIC 95-0433-C03-03.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Aït-Kaci and J. Garrigue. Label-Selective λ-Calculus: Syntax and Confluence. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 761 of LNCS, pages 24–40. Springer-Verlag, Berlin. 1993.

    Google Scholar 

  2. H.P. Barendregt. The λ-calculus, its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. Elsevier Science Publishers, 1984 edition, Amsterdam, 1991.

    Google Scholar 

  3. M. Ben-Ari. Principles of Concurrent Programming. Englewood Cliffs: Prentice Hall, 1982.

    Google Scholar 

  4. G. Berry. Séquentialité de l'évaluation formelle des λ-expressions. In Proc. of 3-e Colloque International sur la Programmation, Dunod, Paris 1978.

    Google Scholar 

  5. G. Berry and G. Boudol. The Chemical Abstract Machine. In Proc. of 20'th ACM Annual Symp. on Principles of Programming Languages, pages 81–93, ACM Press, 1993.

    Google Scholar 

  6. N. Dershowitz and J.P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor. Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243–320. Elsevier, Amsterdam and the MIT Press, Cambridge, MA., 1990.

    Google Scholar 

  7. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, Great Britain, 1985.

    Google Scholar 

  8. M.P. Jones and P. Hudak. Implicit and explicit parallel programming in Haskell. Technical report, YALEU/DCS/RR-982. Yale University, New Haven, Connecticut, USA, August 1993.

    Google Scholar 

  9. R. Lalement. Computation as Logic. Prentice Hall International, Great Britain. 1993.

    Google Scholar 

  10. R. Milner. A Calculus of Communicating Systems. LNCS 92, 1980. Springer Verlag.

    Google Scholar 

  11. R. Milner. The polyadic π-calculus: A tutorial. In F.L. Brauer, W. Bauer, and H. Schwichtenberg, editors, Logic and Algebra of Specifications. Springer-Verlag. Berlin, 1993.

    Google Scholar 

  12. J. Oliver and S. Lucas. Survey of concurrent calculi. In M.A. Fernández, J.M. García, J.A. Guerrero, and G. Moreno, editors, Nuevas tendencias en la Informática: Arquitecturas Paralelas y Programación Declarativa, pages 267–289, 1994.

    Google Scholar 

  13. S.L. Peyton-Jones. The implementation of functional programming languages. Prentice Hall International, Great Britain, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46020, Valencia, Spain

    Salvador Lucas & Javier Oliver

Authors
  1. Salvador Lucas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Javier Oliver
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Keith G. Jeffery Jaroslav Král Miroslav Bartošek

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lucas, S., Oliver, J. (1996). A new proposal of concurrent process calculus. In: Jeffery, K.G., Král, J., Bartošek, M. (eds) SOFSEM'96: Theory and Practice of Informatics. SOFSEM 1996. Lecture Notes in Computer Science, vol 1175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0037421

Download citation

  • DOI: https://doi.org/10.1007/BFb0037421

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49588-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation