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.


References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems (2016)
  2. John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea: Constructing and visualizing chemical reaction networks from pi-calculus models (2013)
  3. Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola: Multiple verification in complex biological systems: the bone remodelling case study (2012)
  4. Caravagna, Giulio; Hillston, Jane: Bio-PEPAd: a non-Markovian extension of Bio-PEPA (2012)
  5. Lakin, Matthew R.; Paulevé, Loïc; Phillips, Andrew: Stochastic simulation of multiple process calculi for biology (2012)
  6. 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)
  7. Pedersen, Michael; Plotkin, Gordon D.: A language for biochemical systems: design and formal specification (2010)
  8. Ballarini, Paolo; Mardare, Radu; Mura, Ivan: Analysing biochemical oscillation through probabilistic model checking (2009)
  9. Ballarini, Paolo; Mardare, Radu; Mura, Ivan: Analysing biochemical oscillation through probabilistic model checking (2009)
  10. Ballarini, Paolo; Mazza, Tommaso; Palmisano, Alida; Csikasz-Nagy, Attila: Studying irreversible transitions in a model of cell cycle regulation (2009)
  11. Brown, Daniel; Pucella, Riccardo: Categories of timed stochastic relations (2009)
  12. Brown, Daniel; Pucella, Riccardo: Categories of timed stochastic relations (2009)
  13. Ciocchetta, Federica; Guerriero, Maria Luisa: Modelling biological compartments in bio-PEPA. (2009)
  14. Ciocchetta, Federica; Guerriero, Maria Luisa: Modelling biological compartments in bio-PEPA (2009)
  15. Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: A framework for the modelling and analysis of biological systems (2009)
  16. Mura, I.; Prandi, Davide; Priami, Corrado; Romanel, Alessandro: Exploiting non-Markovian bio-processes (2009)
  17. Ciocchetta, Federica: The BlenX language with biological transactions (2008)
  18. Dematté, L.; Priami, C.; Romanel, A.; Soyer, O.: Evolving BlenX programs to simulate the evolution of biological networks (2008)