TY - BOOK ID - 107404889 TI - Transactions on Computational Systems Biology VII AU - Priami, Corrado AU - Ingólfsdóttir, Anna AU - Mishra, Bud AU - Riis Nielson, Hanne AU - SpringerLink (Online service) PY - 2006 SN - 9783540488392 PB - Berlin Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Complex analysis KW - Biomathematics. Biometry. Biostatistics KW - Computer science KW - complexe analyse (wiskunde) KW - bio-informatica KW - informatica KW - biometrie KW - wiskunde KW - logica UR - https://www.unicat.be/uniCat?func=search&query=sysid:107404889 AB - This issue of the journalreports some selected contributions from the workshops BioConcur 2004 chaired by Anna Ingolfsdottir and Hanne Riis Nielson and BioConcur 2005 chaired by Bud Mishra and Corrado Priami. There are three contributions from BioConcur 2004. The ?rst one is by Calder, Gilmore and Hillston on the modelling of signalling pathways using the stochastic process algebra PEPA. The second contribution is by Kuttler and Niehrenongeneregulationin?-calculus.ThelastcontributionisbyRemy,Ruet, Mendoza, Thie?ry and Chsouiya on the relationships between logical regulator graphs and Petri nets. There are ?ve contributions from BioConcur 2005. The ?rst contribution is by Eccherand Leccaon theautomatictranslationofSBML models to stochastic ?-calculus. The second paper is by Blinov, Yang, Faeder and Hlavacek on the use of graph theory to model biological networks. The third contribution, by JhaandShyamasundar,introducesbiochemicalKripkestructuresfordistributed model checking. The fourth paper is by Phillips, Cardelli and Castagna on a graphical notation for stochastic ?-calculus. The last paper is by Remy and Ruet on di?erentiation and homeostatic behaviour of boolean dynamic systems. The volume ends with a regular contribution by Margoninsky, Sa?rey, H- herington, Finkelstein and Warner that describes a speci?cation language and a framework for the execution of composite models. ER -