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 16 articles )

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