Skip to main content
SpringerLink
Log in

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

  • Conference paper
Logic Programming (ICLP 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5366))

Included in the following conference series:

Abstract

We address the inclusion of stochastic information into an explicitly timed concurrent constraint process language. An operational semantics is proposed as a preliminary result. Our approach finds applications in biology, among other areas.

Research partially supported by the COLCIENCIAS project REACT (No. 1251-330-18902) and the INRIA Équipe Associée FORCES. The work of Jesús Aranda has been supported by COLCIENCIAS (Instituto Colombiano para el Desarrollo de la Ciencia y la Tecnología “Francisco José de Caldas”), INRIA Futurs and ÉGIDE (Centre français pour l’accueil et les échanges internationaux).

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Saraswat, V.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)

    MATH  Google Scholar 

  2. Saraswat, V.A., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: LICS, pp. 71–80. IEEE Computer Society, Los Alamitos (1994)

    Google Scholar 

  3. Bortolussi, L.: Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis, University of Udine (2007)

    Google Scholar 

  4. Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: Denotation, logic and applications. Nord. J. Comput. 9(1), 145–188 (2002)

    MathSciNet  MATH  Google Scholar 

  5. Fages, F., Soliman, S.: Formal cell biology in biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54–80. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Priami, C.: Stochastic pi-calculus. Comput. J. 38(7), 578–589 (1995)

    Article  Google Scholar 

  7. Gutiérrez, J., Pérez, J.A., Rueda, C., Valencia, F.D.: Timed concurrent constraint programming for analysing biological systems. Electr. Notes Theor. Comput. Sci. 171(2), 117–137 (2007)

    Article  MATH  Google Scholar 

  8. Arbeláez, A., Gutiérrez, J., Pérez, J.A.: Timed Concurrent Constraint Programming in Systems Biology. Newsletter of the ALP 19(4) (2006)

    Google Scholar 

  9. Cardelli, L., Gardner, P., Kahramanogullari, O.: A process model of rho gtp-binding proteins in the context of phagocytosis. Electr. Notes Theor. Comput. Sci. 194(3), 87–102 (2008)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA Futurs and LIX, Ecole Polytechnique, France

    Jesús Aranda

  2. Escuela de Ingeniería de Sistemas y Computación, Universidad del Valle, Colombia

    Jesús Aranda

  3. Dept. of Computer Science, University of Bologna, Italy

    Jorge A. Pérez

  4. Dept. of Science and Engineering of Computing, Universidad Javeriana, Cali, Colombia

    Camilo Rueda

  5. IRCAM, Paris, France

    Camilo Rueda

  6. CNRS and LIX, Ecole Polytechnique, France

    Frank D. Valencia

Authors
  1. Jesús Aranda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge A. Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Camilo Rueda
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frank D. Valencia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clayton School of Information Technology, Monash University, Australia

    Maria Garcia de la Banda

  2. Department of Computer Science, New Mexico State University, NM 88003, Las Cruces, USA

    Enrico Pontelli

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aranda, J., Pérez, J.A., Rueda, C., Valencia, F.D. (2008). Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming . In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_57

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89982-2_57

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-89982-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation