The BlenX Language: A Tutorial

作者: Lorenzo Dematté , Corrado Priami , Alessandro Romanel

DOI: 10.1007/978-3-540-68894-5_9

关键词:

摘要: This paper presents a new programming language, BlenX. BlenX is inspired to the process calculus Beta-binders and it intended for modelling any system whose basic step of computation an interaction between sub-components. The original development was thought biological systems. Therefore this tutorial exemplifies features on biology-related

参考文章(27)
Computational cell biology Springer New York. ,(2004) , 10.1007/B97701
Vincent Danos, Jean Krivine, Reversible Communicating Systems CONCUR 2004 - Concurrency Theory. ,vol. 3170, pp. 292- 307 ,(2004) , 10.1007/978-3-540-28644-8_19
Stephen Gilmore, Jane Hillston, The PEPA workbench: a tool to support a process algebra-based approach to performance modelling Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools. pp. 353- 368 ,(1994) , 10.1007/3-540-58021-2_20
Robin Milner, Communication and Concurrency ,(1989)
Vincent Danos, Cosimo Laneve, Core formal molecular biology european symposium on programming. pp. 302- 318 ,(2003) , 10.1007/3-540-36575-3_21
Corrado Priami, Paola Quaglia, Beta binders for biological interactions computational methods in systems biology. pp. 20- 33 ,(2004) , 10.1007/978-3-540-25974-9_3
Marek Kwiatkowski, Ian Stark, The Continuous π-Calculus: A Process Algebra for Biochemical Modelling computational methods in systems biology. pp. 103- 122 ,(2008) , 10.1007/978-3-540-88562-7_11
Michael B. Elowitz, Stanislas Leibler, A synthetic oscillatory network of transcriptional regulators Nature. ,vol. 403, pp. 335- 338 ,(2000) , 10.1038/35002125
Harley H McAdams, Adam Arkin, None, It’s a noisy business! Genetic regulation at the nanomolar scale Trends in Genetics. ,vol. 15, pp. 65- 69 ,(1999) , 10.1016/S0168-9525(98)01659-X