Timed Concurrent Constraint Programming for Analysing Biological Systems

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 framew...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Electronic notes in theoretical computer science Ročník 171; číslo 2; s. 117 - 137
Hlavní autoři: Gutiérrez, Julian, Pérez, Jorge A., Rueda, Camilo, Valencia, Frank D.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 05.07.2007
Témata:
Concurrent Constraint Programming (CCP)
Partial Information
Process Calculi
Verification of Biological Systems
Verification of Biological Systems
Concurrent Constraint Programming (CCP)
Partial Information
Process Calculi
ISSN:1571-0661, 1571-0661
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2007.05.012