Timed concurrent constraint programming for analysing biological systems

Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)


In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a unified framework for the analysis of biological systems, as they can be described, simulated and verified using the elements provided by the calculus.

Original languageEnglish
Pages (from-to)117-137
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Issue number2 SPEC. ISS.
Publication statusPublished - 2007
Externally publishedYes


  • Concurrent Constraint Programming (CCP)
  • Partial Information
  • Process Calculi
  • Verification of Biological Systems

Cite this