BlenX
The BlenX Language: A Tutorial. This paper presents a new programming language, BlenX. BlenX is inspired to the process calculus Beta-binders and it is intended for modelling any system whose basic step of computation is an interaction between sub-components. The original development was thought for biological systems. Therefore this tutorial exemplifies BlenX features on biology-related systems.
Keywords for this software
References in zbMATH (referenced in 20 articles )
Showing results 1 to 20 of 20.
Sorted by year (- Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems (2016)
- Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos: Verification of spatial and temporal modalities in biochemical systems (2015)
- Zunino, Roberto; Nikolić, Đurica; Priami, Corrado; Kahramanoğulları, Ozan; Schiavinotto, Tommaso: $\ell $: an imperative DSL to stochastically simulate biological systems (2015)
- John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea: Constructing and visualizing chemical reaction networks from pi-calculus models (2013)
- Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola: Multiple verification in complex biological systems: the bone remodelling case study (2012)
- Caravagna, Giulio; Hillston, Jane: Bio-PEPAd: a non-Markovian extension of Bio-PEPA (2012)
- Lakin, Matthew R.; Paulevé, Loïc; Phillips, Andrew: Stochastic simulation of multiple process calculi for biology (2012)
- Lecca, Paola: Blenx models of $\alpha $-synuclein and parkin kinetics in neuropathology of Parkinson’s disease (2011)
- Loewe, Laurence; Guerriero, Maria Luisa; Watterson, Steven; Moodie, Stuart; Ghazal, Peter; Hillston, Jane: Translation from the quantified implicit process flow abstraction in SBGN-PD diagrams to bio-PEPA illustrated on the cholesterol pathway (2011) ioport
- Pedersen, Michael; Plotkin, Gordon D.: A language for biochemical systems: design and formal specification (2010)
- Ballarini, Paolo; Mardare, Radu; Mura, Ivan: Analysing biochemical oscillation through probabilistic model checking (2009)
- Brown, Daniel; Pucella, Riccardo: Categories of timed stochastic relations (2009)
- Ciocchetta, Federica: Bio-PEPA with events (2009)
- Ciocchetta, Federica; Guerriero, Maria Luisa: Modelling biological compartments in bio-PEPA (2009)
- Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: A framework for the modelling and analysis of biological systems (2009)
- Priami, Corrado; Quaglia, Paola; Romanel, Alessandro: BlenX -- static and dynamic semantics (2009)
- Ciocchetta, Federica: The BlenX language with biological transactions (2008)
- Dematté, Lorenzo; Priami, Corrado; Romanel, Alessandro: The blenx language: A tutorial (2008) ioport
- Dematté, Lorenzo; Priami, Corrado; Romanel, Alessandro: Modelling and simulation of biological processes in blenx. (2008) ioport
- Dematté, L.; Priami, C.; Romanel, A.; Soyer, O.: Evolving BlenX programs to simulate the evolution of biological networks (2008)