Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ENTCS
2007

favoriteEmaildiscussreport

91views more ENTCS 2007»

Timed Concurrent Constraint Programming for Analysing Biological Systems

13 years 4 months ago

Timed Concurrent Constraint Programming for Analysing Biological Systems

Download www.brics.dk

In this paper we present our rst 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 unied framework for the analysis of biological systems, as they can be described, simulated and veried using the elements available in the calculus.

Julian Gutierrez, Jorge A. Pérez, Camilo Ru

Real-time Traffic

Biological Systems | Concurrent Constraint Process | ENTCS 2007 | Rst Approach |

claim paper

Related Content

» Modeling Biological Systems in Stochastic Concurrent Constraint Programming

» jcc Integrating Timed Default Concurrent Constraint Programming into Java

» A Framework for Timed Concurrent Constraint Programming with External Functions

» Timed Concurrent Constraint Programming Decidability Results and Their Application to LTL

» Verifying RealTime Properties of tccp Programs

» An Overview of Approaches Towards the Timing Analysability of Parallel Architecture

» Temporal Concurrent Constraint Programming Denotation Logic and Applications

» Concurrency Time and Constraints

» A Temporal Concurrent Constraint Programming Calculus

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Comments (0)