Modeling Biological Systems in Stochastic Concurrent Constraint Programming

We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems. We provide a library of sCCP processes that can be used to describe straightforwardly biological networks. In the meanwhile, we show that sCCP proves to be a general and extensible frame...

Full description

Saved in:

Bibliographic Details
Published in:	Constraints : an international journal Vol. 13; no. 1-2; pp. 66 - 90
Main Authors:	Bortolussi, Luca, Policriti, Alberto
Format:	Journal Article
Language:	English
Published:	Boston Springer US 01.06.2008
Subjects:	Artificial Intelligence Computer Science Operations Research/Decision Theory Optimization Stochastic concurrent constraint programming Biological systems Stochastic modeling
ISSN:	1383-7133, 1572-9354
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems. We provide a library of sCCP processes that can be used to describe straightforwardly biological networks. In the meanwhile, we show that sCCP proves to be a general and extensible framework, allowing to describe a wide class of dynamical behaviours and kinetic laws.
AbstractList	We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems. We provide a library of sCCP processes that can be used to describe straightforwardly biological networks. In the meanwhile, we show that sCCP proves to be a general and extensible framework, allowing to describe a wide class of dynamical behaviours and kinetic laws.
Author	Bortolussi, Luca Policriti, Alberto
Author_xml	– sequence: 1 givenname: Luca surname: Bortolussi fullname: Bortolussi, Luca email: luca@dmi.units.it organization: Deparment of Mathematics and Computer Science, University of Trieste – sequence: 2 givenname: Alberto surname: Policriti fullname: Policriti, Alberto organization: Department of Mathematics and Computer Science, University of Udine
BookMark	eNp9kLtOwzAUhi1UJNrCA7DlBQzHdhLbI1TcRBFIhTlyHSe4Smxku0PfHkdlYuh0vuF85_Iv0Mx5ZxC6JnBDAPhtJFADwRmxBFZicYbmpOIUS1aVs8xMMMwJYxdoEeMOACRn5Ry9vvnWDNb1xb31g--tVkOxOcRkxlhYV2yS198qJquLlXd6H4JxacKYgrIZP4LvgxrHPOISnXdqiObqry7R1-PD5-oZr9-fXlZ3a6ypEAkbUTHFTQmqplzTWkHVVlJwKgnJt9OuNLxqNd0aVUKrZJubDRi5VbQuFRi2ROQ4VwcfYzBd8xPsqMKhIdBMaTTHNJoJpzQakR3-z9E2qWS9m_4YTpr0aMa8xfUmNDu_Dy4_eEL6BZ7Hdus
CitedBy_id	crossref_primary_10_1016_j_entcs_2013_02_016 crossref_primary_10_1016_j_jlamp_2019_01_006 crossref_primary_10_1093_logcom_exr045 crossref_primary_10_1016_j_entcs_2008_10_004 crossref_primary_10_1186_s12918_016_0273_4 crossref_primary_10_1016_j_entcs_2009_07_091 crossref_primary_10_1016_j_tcs_2013_03_018 crossref_primary_10_1007_s13721_012_0010_x crossref_primary_10_1016_j_ic_2015_12_001 crossref_primary_10_1007_s10601_013_9145_3 crossref_primary_10_1016_j_peva_2013_01_001 crossref_primary_10_1016_j_entcs_2009_02_010 crossref_primary_10_1371_journal_pcbi_1004591 crossref_primary_10_1016_j_entcs_2015_06_009 crossref_primary_10_1016_j_entcs_2020_06_008 crossref_primary_10_1007_s11047_018_9673_2 crossref_primary_10_1371_journal_pone_0180179 crossref_primary_10_1080_17445760_2025_2527713 crossref_primary_10_1145_2688909
Cites_doi	10.1093/bib/5.3.259 10.7551/mitpress/3087.001.0001 10.1016/0304-3975(95)00047-Z 10.1017/CBO9780511810633 10.1093/bioinformatics/btg042 10.1016/j.entcs.2006.07.012 10.1063/1.481811 10.1007/3-540-45351-2_6 10.1109/BIBM.2007.31 10.1038/35002125 10.1089/10665270252833208 10.1021/j100540a008 10.1038/419343a 10.1073/pnas.93.19.10078 10.1091/mbc.10.8.2703 10.1007/11599128_10 10.1093/comjnl/38.7.578 10.7551/mitpress/2086.001.0001 10.1137/1.9780898719147 10.1093/bioinformatics/btl172 10.1016/0021-9991(76)90041-3 10.1109/QEST.2005.12 10.1016/S0020-0190(01)00214-9 10.1063/1.1545446 10.1145/99583.99627 10.1201/9781420010664
ContentType	Journal Article
Copyright	Springer Science+Business Media, LLC 2007
Copyright_xml	– notice: Springer Science+Business Media, LLC 2007
DBID	AAYXX CITATION
DOI	10.1007/s10601-007-9034-8
DatabaseName	CrossRef
DatabaseTitle	CrossRef
DatabaseTitleList
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1572-9354
EndPage	90
ExternalDocumentID	10_1007_s10601_007_9034_8
GroupedDBID	-4Z -59 -5G -BR -EM -Y2 -~C .86 .VR 06D 0VY 1N0 1SB 2.D 203 28- 29F 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BBWZM BDATZ BGNMA BSONS CAG COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS H13 HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV KOW LAK LLZTM M4Y MA- N2Q NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P9O PF0 PT4 PT5 QOK QOS R4E R89 R9I RHV RNI ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z83 Z88 Z8M Z8R Z8W Z92 ZMTXR ~EX AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION
ID	FETCH-LOGICAL-c288t-e853a7e40a627c26a05d598729119032f4e75dc2bea40da9da7ee0e9ba264a0e3
IEDL.DBID	RSV
ISICitedReferencesCount	42
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000255408000004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1383-7133
IngestDate	Sat Nov 29 04:16:03 EST 2025 Tue Nov 18 22:34:17 EST 2025 Fri Feb 21 02:33:35 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	1-2
Keywords	Stochastic concurrent constraint programming Biological systems Stochastic modeling
Language	English
License	http://www.springer.com/tdm
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c288t-e853a7e40a627c26a05d598729119032f4e75dc2bea40da9da7ee0e9ba264a0e3
PageCount	25
ParticipantIDs	crossref_primary_10_1007_s10601_007_9034_8 crossref_citationtrail_10_1007_s10601_007_9034_8 springer_journals_10_1007_s10601_007_9034_8
PublicationCentury	2000
PublicationDate	20080600 2008-6-00
PublicationDateYYYYMMDD	2008-06-01
PublicationDate_xml	– month: 6 year: 2008 text: 20080600
PublicationDecade	2000
PublicationPlace	Boston
PublicationPlace_xml	– name: Boston
PublicationSubtitle	An International Journal
PublicationTitle	Constraints : an international journal
PublicationTitleAbbrev	Constraints
PublicationYear	2008
Publisher	Springer US
Publisher_xml	– name: Springer US
References	GillespieD. T.A general method for numerically simulating the stochastic time evolution of coupled chemical reactionsJournal of Computers in Physics19762240343410.1016/0021-9991(76)90041-3503370 RegevA.ShapiroE.Cellular abstractions: Cells as computationNature200241934310.1038/419343a Edelstein-Keshet, L. (2005). Mathematical models in biology. SIAM. Bortolussi, L. (2007). Constraint-based approaches to stochastic dynamics of biological systems. Ph.D. thesis, Ph.D. in Computer Science, University of Udine, http://www.dmi.units.it/~bortolu/files/reps/Bortolussi-PhDThesis.pdf. Gutiérrez, J., Perez, J. A., Rueda, C., & Valencia, F. D. (2006). Timed concurrent constraint programming for analyzing biological systems. In Proceedings of MeCBIC’06. PriamiC.Stochastic π-calculusComputer Journal199538657858910.1093/comjnl/38.7.578 Bortolussi, L., Fonda, S., & Policriti, A. (2007). Constraint-based simulation of biological systems described by molecular interaction maps. In Backofen, R., dal Palù, A., S. Will (Eds.), Proceeding of third international workshop on constraint-based methods in bioinformatics, WCB 2007 (pp. 1–9). Porto. HuangC. F.FerrellJ. T.Ultrasensitivity in the mitogen-activated protein kinase cascadePNAS, Biochemistry1996151100781008310.1073/pnas.93.19.10078 Bortolussi, L., & Policriti, A. (2006b). Relating stochastic process algebras and differential equations for biological modeling. In Proceedings of PASTA 2006. Imperial College Press. GillespieD. T.A rigorous derivation of the chemical master equationPhysica A199222403432503370 ShapiroB. E.LevchenkoA.MeyerowitzE. M.WoldB. J.MjolsnessE. D.Cellerator: Extending a computer algebra system to include biochemical arrows for signal transduction simulationsBioinformatics200319567767810.1093/bioinformatics/btg042 Bortolussi, L., & Policriti, A. (2006a). Modeling biological systems in concurrent constraint programming. In Dovier, A., dal Palù, A., Will, S., (Eds.), Proceedings of second international workshop on constraint-based methods in bioinformatics, WCB 2006 (pp. 6–29). Nantes. Bower, J. M., & Bolouri, H. (Eds.) (2000). Computational modeling of genetic and biochemical networks. MIT Press. Saraswat, V. A. (1993). Concurrent constraint programming. MIT press. Bortolussi, L. (2006). Stochastic concurrent constraint programming. In Proceedings of 4th international workshop on quantitative aspects of programming languages, QAPL 2006, ENTCS (Vol. 164, pp. 65–80). Norris, J. R. (1997). Markov Chains. Cambridge University Press. Cornish-Bowden, A. (2004). Fundamentals of chemical kinetics, 3rd edn. Portland Press. de Boer, F. S., Di Pierro, A., & Palamidessi, C. (1995). Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science, 151(1). Hillston, J. (2005). Fluid flow approximation of pepa models. In Proceedings of the second international conference on the quantitative evaluation of systems (QEST05). Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G., et al. (2001). Hybrid modeling and simulation of biomolecular networks. In Proceedings of fourth international workshop on hybrid systems: Computation and control, LNCS 2034 (pp. 19–32). KohnK. W.Molecular interaction map of the mammalian cell cycle control and dna repair systemsMolecular Biology of the Cell19991027032734 GillespieD. T.Exact stochastic simulation of coupled chemical reactionsJournal of Physical Chemistry197781252340236110.1021/j100540a008 De JongH.Modeling and simulation of genetic regulatory systems: A literature reviewJournal of Computational Biology2002916710310.1089/10665270252833208 PriamiC.QuagliaP.Modelling the dynamics of biosystemsBriefings in Bioinformatics20045325926910.1093/bib/5.3.259 Saraswat, V. A., Rinard, M., & Panangaden, P. (1991). Semantics foundations of concurrent constraint programming. In Proceedings of POPL. GillespieD.The chemical langevin equationJournal of Chemical Physics2000113129730610.1063/1.481811 PriamiC.RegevA.ShapiroE.Y.SilvermanW.Application of a stochastic name-passing calculus to representation and simulation of molecular processesInformation Processing Letters200180125310997.9201810.1016/S0020-0190(01)00214-91859381 RaoC. V.ArkinA. P.Stochastic chemical kinetics and the quasi-steady state assumption: Application to the gillespie algorithmJournal Chemical Physics2003118114999501010.1063/1.1545446 Voit, E. O. (2000). Computational analysis of biochemical systems. Cambridge University Press. VilarJ. M. G.Yuan KuehH.BarkaiN.LeiblerS.Mechanisms of noise resistance in genetic oscillatorsProceedings of the National Academy of Sciences of the United States of America2002999599110.1073/pnas.092133899 CardelliL.Abstract machines of systems biologyTransactions on Computational Systems Biology, III, LNBI2005373714516810.1007/11599128_10 CalzoneL.FagesF.SolimanS.Biocham: an environment for modeling biological systems and formalizing experimental knowledgeBioinformatics2006221805180710.1093/bioinformatics/btl172 ElowitzM. B.LeiblerS.A synthetic oscillatory network of transcriptional regulatorsNature200040333533810.1038/35002125 Henkin, L., Monk, J. D., & Tarski, A. (1971). Cylindric algebras, Part I. North-Holland. Wilkinson, D. J. (2006). Stochastic modelling for systems biology. Chapman & Hall. Cardelli, L., & Phillips, A. (2004). A correct abstract machine for the stochastic pi-calculus. In Proceeding of Bioconcur 2004. Swedish Institute for Computer Science (2007). Sicstus prolog home page. Swedish Institute for Computer Science Gillespie, D., & Petzold, L. (2006). System modelling in cellular biology. Chapter Numerical Simulation for Biochemical Kinetics. MIT Press. Kitano, H. (2001). Foundations of systems biology. MIT Press. BlosseyR.CardelliL.PhillipsA.A compositional approach to the stochastic dynamics of gene networksTransaction Computer System Biology200639399912210.1007/11732488_102298401 9034_CR4 9034_CR5 C. V. Rao (9034_CR33) 2003; 118 9034_CR3 9034_CR1 C. Priami (9034_CR30) 1995; 38 L. Calzone (9034_CR9) 2006; 22 C. F. Huang (9034_CR26) 1996; 151 K. W. Kohn (9034_CR28) 1999; 10 9034_CR36 9034_CR13 9034_CR35 9034_CR15 H. Jong De (9034_CR14) 2002; 9 9034_CR17 9034_CR39 A. Regev (9034_CR34) 2002; 419 9034_CR19 D. T. Gillespie (9034_CR20) 1992; 22 D. T. Gillespie (9034_CR21) 1976; 22 9034_CR12 9034_CR11 D. Gillespie (9034_CR18) 2000; 113 C. Priami (9034_CR32) 2001; 80 M. B. Elowitz (9034_CR16) 2000; 403 9034_CR25 9034_CR24 9034_CR27 9034_CR29 B. E. Shapiro (9034_CR37) 2003; 19 R. Blossey (9034_CR2) 2006; 3939 D. T. Gillespie (9034_CR22) 1977; 81 L. Cardelli (9034_CR10) 2005; 3737 J. M. G. Vilar (9034_CR38) 2002; 99 9034_CR40 9034_CR8 9034_CR6 9034_CR23 C. Priami (9034_CR31) 2004; 5 9034_CR7
References_xml	– reference: PriamiC.RegevA.ShapiroE.Y.SilvermanW.Application of a stochastic name-passing calculus to representation and simulation of molecular processesInformation Processing Letters200180125310997.9201810.1016/S0020-0190(01)00214-91859381 – reference: RegevA.ShapiroE.Cellular abstractions: Cells as computationNature200241934310.1038/419343a – reference: CalzoneL.FagesF.SolimanS.Biocham: an environment for modeling biological systems and formalizing experimental knowledgeBioinformatics2006221805180710.1093/bioinformatics/btl172 – reference: Gutiérrez, J., Perez, J. A., Rueda, C., & Valencia, F. D. (2006). Timed concurrent constraint programming for analyzing biological systems. In Proceedings of MeCBIC’06. – reference: Cornish-Bowden, A. (2004). Fundamentals of chemical kinetics, 3rd edn. Portland Press. – reference: Saraswat, V. A. (1993). Concurrent constraint programming. MIT press. – reference: de Boer, F. S., Di Pierro, A., & Palamidessi, C. (1995). Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science, 151(1). – reference: Swedish Institute for Computer Science (2007). Sicstus prolog home page. Swedish Institute for Computer Science – reference: GillespieD. T.A rigorous derivation of the chemical master equationPhysica A199222403432503370 – reference: Kitano, H. (2001). Foundations of systems biology. MIT Press. – reference: Bortolussi, L. (2007). Constraint-based approaches to stochastic dynamics of biological systems. Ph.D. thesis, Ph.D. in Computer Science, University of Udine, http://www.dmi.units.it/~bortolu/files/reps/Bortolussi-PhDThesis.pdf. – reference: Bortolussi, L., & Policriti, A. (2006a). Modeling biological systems in concurrent constraint programming. In Dovier, A., dal Palù, A., Will, S., (Eds.), Proceedings of second international workshop on constraint-based methods in bioinformatics, WCB 2006 (pp. 6–29). Nantes. – reference: GillespieD. T.Exact stochastic simulation of coupled chemical reactionsJournal of Physical Chemistry197781252340236110.1021/j100540a008 – reference: Saraswat, V. A., Rinard, M., & Panangaden, P. (1991). Semantics foundations of concurrent constraint programming. In Proceedings of POPL. – reference: PriamiC.Stochastic π-calculusComputer Journal199538657858910.1093/comjnl/38.7.578 – reference: VilarJ. M. G.Yuan KuehH.BarkaiN.LeiblerS.Mechanisms of noise resistance in genetic oscillatorsProceedings of the National Academy of Sciences of the United States of America2002999599110.1073/pnas.092133899 – reference: Wilkinson, D. J. (2006). Stochastic modelling for systems biology. Chapman & Hall. – reference: KohnK. W.Molecular interaction map of the mammalian cell cycle control and dna repair systemsMolecular Biology of the Cell19991027032734 – reference: Bortolussi, L., Fonda, S., & Policriti, A. (2007). Constraint-based simulation of biological systems described by molecular interaction maps. In Backofen, R., dal Palù, A., S. Will (Eds.), Proceeding of third international workshop on constraint-based methods in bioinformatics, WCB 2007 (pp. 1–9). Porto. – reference: Henkin, L., Monk, J. D., & Tarski, A. (1971). Cylindric algebras, Part I. North-Holland. – reference: Hillston, J. (2005). Fluid flow approximation of pepa models. In Proceedings of the second international conference on the quantitative evaluation of systems (QEST05). – reference: ElowitzM. B.LeiblerS.A synthetic oscillatory network of transcriptional regulatorsNature200040333533810.1038/35002125 – reference: GillespieD.The chemical langevin equationJournal of Chemical Physics2000113129730610.1063/1.481811 – reference: Bower, J. M., & Bolouri, H. (Eds.) (2000). Computational modeling of genetic and biochemical networks. MIT Press. – reference: Cardelli, L., & Phillips, A. (2004). A correct abstract machine for the stochastic pi-calculus. In Proceeding of Bioconcur 2004. – reference: Bortolussi, L., & Policriti, A. (2006b). Relating stochastic process algebras and differential equations for biological modeling. In Proceedings of PASTA 2006. Imperial College Press. – reference: Edelstein-Keshet, L. (2005). Mathematical models in biology. SIAM. – reference: BlosseyR.CardelliL.PhillipsA.A compositional approach to the stochastic dynamics of gene networksTransaction Computer System Biology200639399912210.1007/11732488_102298401 – reference: Norris, J. R. (1997). Markov Chains. Cambridge University Press. – reference: HuangC. F.FerrellJ. T.Ultrasensitivity in the mitogen-activated protein kinase cascadePNAS, Biochemistry1996151100781008310.1073/pnas.93.19.10078 – reference: GillespieD. T.A general method for numerically simulating the stochastic time evolution of coupled chemical reactionsJournal of Computers in Physics19762240343410.1016/0021-9991(76)90041-3503370 – reference: RaoC. V.ArkinA. P.Stochastic chemical kinetics and the quasi-steady state assumption: Application to the gillespie algorithmJournal Chemical Physics2003118114999501010.1063/1.1545446 – reference: CardelliL.Abstract machines of systems biologyTransactions on Computational Systems Biology, III, LNBI2005373714516810.1007/11599128_10 – reference: PriamiC.QuagliaP.Modelling the dynamics of biosystemsBriefings in Bioinformatics20045325926910.1093/bib/5.3.259 – reference: Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G., et al. (2001). Hybrid modeling and simulation of biomolecular networks. In Proceedings of fourth international workshop on hybrid systems: Computation and control, LNCS 2034 (pp. 19–32). – reference: ShapiroB. E.LevchenkoA.MeyerowitzE. M.WoldB. J.MjolsnessE. D.Cellerator: Extending a computer algebra system to include biochemical arrows for signal transduction simulationsBioinformatics200319567767810.1093/bioinformatics/btg042 – reference: Bortolussi, L. (2006). Stochastic concurrent constraint programming. In Proceedings of 4th international workshop on quantitative aspects of programming languages, QAPL 2006, ENTCS (Vol. 164, pp. 65–80). – reference: Gillespie, D., & Petzold, L. (2006). System modelling in cellular biology. Chapter Numerical Simulation for Biochemical Kinetics. MIT Press. – reference: De JongH.Modeling and simulation of genetic regulatory systems: A literature reviewJournal of Computational Biology2002916710310.1089/10665270252833208 – reference: Voit, E. O. (2000). Computational analysis of biochemical systems. Cambridge University Press. – volume: 5 start-page: 259 issue: 3 year: 2004 ident: 9034_CR31 publication-title: Briefings in Bioinformatics doi: 10.1093/bib/5.3.259 – ident: 9034_CR27 doi: 10.7551/mitpress/3087.001.0001 – volume: 22 start-page: 403 year: 1992 ident: 9034_CR20 publication-title: Physica A – ident: 9034_CR13 doi: 10.1016/0304-3975(95)00047-Z – ident: 9034_CR29 doi: 10.1017/CBO9780511810633 – volume: 19 start-page: 677 issue: 5 year: 2003 ident: 9034_CR37 publication-title: Bioinformatics doi: 10.1093/bioinformatics/btg042 – ident: 9034_CR24 – ident: 9034_CR3 doi: 10.1016/j.entcs.2006.07.012 – ident: 9034_CR7 – volume: 113 start-page: 297 issue: 1 year: 2000 ident: 9034_CR18 publication-title: Journal of Chemical Physics doi: 10.1063/1.481811 – ident: 9034_CR1 doi: 10.1007/3-540-45351-2_6 – volume: 3939 start-page: 99 year: 2006 ident: 9034_CR2 publication-title: Transaction Computer System Biology – ident: 9034_CR5 doi: 10.1109/BIBM.2007.31 – volume: 403 start-page: 335 year: 2000 ident: 9034_CR16 publication-title: Nature doi: 10.1038/35002125 – ident: 9034_CR12 – volume: 9 start-page: 67 issue: 1 year: 2002 ident: 9034_CR14 publication-title: Journal of Computational Biology doi: 10.1089/10665270252833208 – ident: 9034_CR39 – volume: 81 start-page: 2340 issue: 25 year: 1977 ident: 9034_CR22 publication-title: Journal of Physical Chemistry doi: 10.1021/j100540a008 – volume: 99 start-page: 5991 issue: 9 year: 2002 ident: 9034_CR38 publication-title: Proceedings of the National Academy of Sciences of the United States of America – volume: 419 start-page: 343 year: 2002 ident: 9034_CR34 publication-title: Nature doi: 10.1038/419343a – volume: 151 start-page: 10078 year: 1996 ident: 9034_CR26 publication-title: PNAS, Biochemistry doi: 10.1073/pnas.93.19.10078 – volume: 10 start-page: 2703 year: 1999 ident: 9034_CR28 publication-title: Molecular Biology of the Cell doi: 10.1091/mbc.10.8.2703 – volume: 3737 start-page: 145 year: 2005 ident: 9034_CR10 publication-title: Transactions on Computational Systems Biology, III, LNBI doi: 10.1007/11599128_10 – volume: 38 start-page: 578 issue: 6 year: 1995 ident: 9034_CR30 publication-title: Computer Journal doi: 10.1093/comjnl/38.7.578 – ident: 9034_CR23 – ident: 9034_CR35 doi: 10.7551/mitpress/2086.001.0001 – ident: 9034_CR15 doi: 10.1137/1.9780898719147 – ident: 9034_CR19 – ident: 9034_CR6 – ident: 9034_CR4 – volume: 22 start-page: 1805 year: 2006 ident: 9034_CR9 publication-title: Bioinformatics doi: 10.1093/bioinformatics/btl172 – volume: 22 start-page: 403 year: 1976 ident: 9034_CR21 publication-title: Journal of Computers in Physics doi: 10.1016/0021-9991(76)90041-3 – ident: 9034_CR8 – ident: 9034_CR25 doi: 10.1109/QEST.2005.12 – volume: 80 start-page: 25 issue: 1 year: 2001 ident: 9034_CR32 publication-title: Information Processing Letters doi: 10.1016/S0020-0190(01)00214-9 – volume: 118 start-page: 4999 issue: 11 year: 2003 ident: 9034_CR33 publication-title: Journal Chemical Physics doi: 10.1063/1.1545446 – ident: 9034_CR11 – ident: 9034_CR17 – ident: 9034_CR36 doi: 10.1145/99583.99627 – ident: 9034_CR40 doi: 10.1201/9781420010664
SSID	ssj0009734
Score	2.117654
Snippet	We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems. We provide a library of sCCP processes that...
SourceID	crossref springer
SourceType	Enrichment Source Index Database Publisher
StartPage	66
SubjectTerms	Artificial Intelligence Computer Science Operations Research/Decision Theory Optimization
Title	Modeling Biological Systems in Stochastic Concurrent Constraint Programming
URI	https://link.springer.com/article/10.1007/s10601-007-9034-8
Volume	13
WOSCitedRecordID	wos000255408000004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1572-9354 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009734 issn: 1383-7133 databaseCode: RSV dateStart: 19970301 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED90-uCL8xPnF3nwSQnErmmSRxkOQRnD6dhbuSYRB9rJWv37TZrWKaigLyUPlyPkcrm7Xu53ACfMcKut6FIdKUFjTDiVESr34QYryLkKnX98IwYDOZmoYV3HXTSv3ZuUZHVTfyp2S3zoywRVjgmVy7DirJ302ng7Gi-QdkVIJbvQi_oIrEllfsfiqzH6mgmtDEy__a-lbcB67U-Si3AANmHJ5lvQbno1kFp1t-HaNz3zpeckdJ_0siE1XDmZ5mRUzvQjetBm0pvlOqA2-WFRNZEoyTA85Hp2LHbgvn9517uidSMFJwEpS2qdTUZhY4ZJJHSUIOOGK-n86nPnD3Sjh9gKbnSUWYyZQWUcsWVWZejcJWS2uwutfJbbPSAuuklMlhk0HONMYiYTFwQJxYWWsZvRAdbsaKprlHG_zqd0gY_sNyv1Q79ZqezA6ceUlwCx8RvxWSOCtNa24mfq_T9RH8BaeA3i_7EcQqucv9ojWNVv5bSYH1en7B3TkcuL
linkProvider	Springer Nature
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED90Cvri_MT5mQeflEDsmiZ5lOFQNsdwc-ytpEnEgXayVv9-kzZ1DlTQl5KHyxFySe6ud_c7gDOiqVGGNbEKBMOhjCjmgRT2Q7UsIOcKdP5Rl_V6fDwWfV_HnVXZ7lVIsnipvxS7Rc71JQwLywTzZVgJrcJyeXz3g9EcaZeVoWTremHngVWhzO9YLCqjxUhooWDa9X8tbRM2vD2JrsoDsAVLJt2GetWrAfmruwMd1_TMlZ6jsvukkw3ycOVokqJBPlVP0oE2o9Y0VSVqkxtmRROJHPXLRK4Xy2IXHtrXw9YN9o0UrAQ4z7GxOlkyExIZBUwFkSRUU8GtXX1p7YFm8BgaRrUKEiNDoqXQltgQIxJpzSVJTHMPauk0NfuArHcT6STRUlMZJlwmPLJOEBOUKR7aGQ0g1Y7GyqOMu3U-x3N8ZLdZsRu6zYp5A84_p7yWEBu_EV9UIoj9bct-pj74E_UprN0M77px97bXOYT1MjPE_W85glo-ezPHsKre80k2OylO3Adn8M5v
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1NSwMxEB20inixfmL9zMGTEhq3m01ylGpRWkqhWnpbskmKBd2WdvX3m2x2rQUVxMuSwySETELm7WTeA7ggmhplWAOrQDAcyohiHkhhP1TLnHIuZ-cfdFi3y4dD0St0Tufla_cyJelrGhxLU5rVp3pU_1L4FjkYTBgWdkDMV2EtdJpBDq73BwvWXebTyhaGYYfGyrTmd0MsX0zLWdH8smlV_z3Nbdgq4kx04zfGDqyYdBeqpYYDKo70HrSdGJorSUdeldL5DBU05micon42Uc_SkTmj5iRVns3JNee5uESGev6B16sdYh-eWnePzXtcCCxYz3CeYWPvaslMSGQUMBVEklBNBbfx9rWNExrBKDSMahUkRoZES6GtsSFGJNKGUZKYxgFU0klqDgFZ1BPpJNFSUxkmXCY8suCICcoUD22PGpBydWNVsI-7eb7EC95kt1ixa7rFinkNLj-7TD31xm_GV6U74uIUzn-2PvqT9Tls9G5bceeh2z6GTf9gxP2GOYFKNnszp7Cu3rPxfHaWb74P7njXUw
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Modeling+Biological+Systems+in+Stochastic+Concurrent+Constraint+Programming&rft.jtitle=Constraints+%3A+an+international+journal&rft.au=Bortolussi%2C+Luca&rft.au=Policriti%2C+Alberto&rft.date=2008-06-01&rft.issn=1383-7133&rft.eissn=1572-9354&rft.volume=13&rft.issue=1-2&rft.spage=66&rft.epage=90&rft_id=info:doi/10.1007%2Fs10601-007-9034-8&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10601_007_9034_8
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1383-7133&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1383-7133&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1383-7133&client=summon