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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Electronic notes in theoretical computer science Jg. 171; H. 2; S. 117 - 137
Hauptverfasser: Gutiérrez, Julian, Pérez, Jorge A., Rueda, Camilo, Valencia, Frank D.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 05.07.2007
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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