Skip to main content
SpringerLink
Log in

Concurrent constraint programming

Abstract of lecture

  • Invited Talks
  • Conference paper
  • First Online:
Algebraic and Logic Programming (ALP 1994)

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

Included in the following conference series:

  • 136 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. J.A. Bergstra and J.W. Klop. Process algebra: specification and verification in bisimulation semantics. In Mathematics and Computer Science II, CWI Monographs, pages 61–94. North-Holland, 1986.

    Google Scholar 

  2. K.S. de Boer, E. Best, and C. Palamidessi. Concurrent Constraint Programming with Information Removal. Technical Report, Dipartimento di Informatica, Università di Genova, Genova. 1994.

    Google Scholar 

  3. F.S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving Concurrent Constraint Programs Correct. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages, 1993.

    Google Scholar 

  4. F.S. de Boer and C. Palamidessi. A fully abstract model for concurrent constraint programming. In S. Abramsky and T.S.E. Maibaum, editors, Proc. of TAP-SOFT/CAAP, volume 493 of Lecture Notes in Computer Science, pages 296–319. Springer-Verlag, 1991.

    Google Scholar 

  5. S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, 31:499–560, 1984.

    Google Scholar 

  6. K.L. Clark and S. Gregory. PARLOG: parallel programming in logic. ACM Trans. on Programming Languages and Systems, (8):1–49, 1986.

    Google Scholar 

  7. M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence and Concurrent Constraint Programming. Technical Report, Dipartimento di Informatica, Università di Pisa, Pisa. 1994.

    Google Scholar 

  8. J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proc,. of ACM Symposium on Principles of Programming Languages, pages 111–119. ACM, New York, 1987.

    Google Scholar 

  9. M. J. Maher. Logic semantics for a class of committed-choice programs. In Jean-Louis Lassez, editor, Proc. of the Fourth International Conference on Logic Programming, Series in Logic Programming, pages 858–876, Melbourne, 1987. The MIT Press.

    Google Scholar 

  10. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1980.

    Google Scholar 

  11. V.A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989. Published by The MIT Press, U.S.A., 1990.

    Google Scholar 

  12. E.Y. Shapiro. A subset of Concurrent Prolog and its interpreter. Technical Report TR-003, Institute for New Generation Computer Technology (ICOT), Tokyo, 1983.

    Google Scholar 

  13. V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. of the seventeenth ACM Symposium on Principles of Programming Languages, pages 232–245. ACM, New York, 1990.

    Google Scholar 

  14. V.A. Saraswat, M. Rinard, and P. Panangaden. Semantics foundations of Concurrent Constraint Programming. In Proc. of the eighteenth ACM Symposium on Principles of Programming Languages. ACM, New York, 1991.

    Google Scholar 

  15. K. Ueda. Guarded Horn Clauses. In E. Y. Shapiro, editor, Concurrent Prolog: Collected Papers. The MIT Press, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Scienze dell'Informazione (DISI), Università di Genova, via Benedetto XV 3, 16132, Genova, Italy

    Catuscia Palamidessi

Authors
  1. Catuscia Palamidessi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio Levi Mario Rodríguez-Artalejo

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag

About this paper

Cite this paper

Palamidessi, C. (1994). Concurrent constraint programming. In: Levi, G., Rodríguez-Artalejo, M. (eds) Algebraic and Logic Programming. ALP 1994. Lecture Notes in Computer Science, vol 850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58431-5_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-58431-5_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58431-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation