A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Abstract Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process cal- culi allow to both model and verify properties of a system, thus pro- viding a concrete design methodology for complex systems. ntcc , a constraints-based c...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Centro Latinoamericano de Estudios en Informática
2006-12-01
|
| Series: | CLEI Electronic Journal |
| Online Access: | http://clei.org/cleiej-beta/index.php/cleiej/article/view/304 |