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

Showing results 1 to 20 of 20.
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. Zunino, Roberto; Nikolić, Đurica; Priami, Corrado; Kahramanoğulları, Ozan; Schiavinotto, Tommaso: $\ell $: an imperative DSL to stochastically simulate biological systems (2015)
  4. John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea: Constructing and visualizing chemical reaction networks from pi-calculus models (2013)
  5. Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola: Multiple verification in complex biological systems: the bone remodelling case study (2012)
  6. Caravagna, Giulio; Hillston, Jane: Bio-PEPAd: a non-Markovian extension of Bio-PEPA (2012)
  7. Lakin, Matthew R.; Paulevé, Loïc; Phillips, Andrew: Stochastic simulation of multiple process calculi for biology (2012)
  8. Lecca, Paola: Blenx models of $\alpha $-synuclein and parkin kinetics in neuropathology of Parkinson’s disease (2011)
  9. 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
  10. Pedersen, Michael; Plotkin, Gordon D.: A language for biochemical systems: design and formal specification (2010)
  11. Ballarini, Paolo; Mardare, Radu; Mura, Ivan: Analysing biochemical oscillation through probabilistic model checking (2009)
  12. Brown, Daniel; Pucella, Riccardo: Categories of timed stochastic relations (2009)
  13. Ciocchetta, Federica: Bio-PEPA with events (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. Priami, Corrado; Quaglia, Paola; Romanel, Alessandro: BlenX -- static and dynamic semantics (2009)
  17. Ciocchetta, Federica: The BlenX language with biological transactions (2008)
  18. Dematté, Lorenzo; Priami, Corrado; Romanel, Alessandro: The blenx language: A tutorial (2008) ioport
  19. Dematté, Lorenzo; Priami, Corrado; Romanel, Alessandro: Modelling and simulation of biological processes in blenx. (2008) ioport
  20. Dematté, L.; Priami, C.; Romanel, A.; Soyer, O.: Evolving BlenX programs to simulate the evolution of biological networks (2008)