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

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

1 2 next

  1. Děd, T.; Šafránek, D.; Troják, M.; Klement, M.; Šalagovič, J.; Brim, L.: Formal biochemical space with semantics in Kappa and BNGL (2016)
  2. Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems (2016)
  3. Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos: Verification of spatial and temporal modalities in biochemical systems (2015)
  4. Zunino, Roberto; Nikolić, Đurica; Priami, Corrado; Kahramanoğulları, Ozan; Schiavinotto, Tommaso: (\ell): an imperative DSL to stochastically simulate biological systems (2015) ioport
  5. John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea: Constructing and visualizing chemical reaction networks from pi-calculus models (2013)
  6. Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola: Multiple verification in complex biological systems: the bone remodelling case study (2012)
  7. Caravagna, Giulio; Hillston, Jane: Bio-PEPAd: a non-Markovian extension of Bio-PEPA (2012)
  8. Lakin, Matthew R.; Paulevé, Loïc; Phillips, Andrew: Stochastic simulation of multiple process calculi for biology (2012)
  9. Lecca, Paola: Blenx models of (\alpha)-synuclein and parkin kinetics in neuropathology of Parkinson’s disease (2011)
  10. 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
  11. Pedersen, Michael; Plotkin, Gordon D.: A language for biochemical systems: design and formal specification (2010)
  12. Ballarini, Paolo; Mardare, Radu; Mura, Ivan: Analysing biochemical oscillation through probabilistic model checking (2009)
  13. Brown, Daniel; Pucella, Riccardo: Categories of timed stochastic relations (2009)
  14. Ciocchetta, Federica: Bio-PEPA with events (2009)
  15. Ciocchetta, Federica; Guerriero, Maria Luisa: Modelling biological compartments in bio-PEPA (2009)
  16. Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: A framework for the modelling and analysis of biological systems (2009)
  17. Priami, Corrado; Quaglia, Paola; Romanel, Alessandro: BlenX -- static and dynamic semantics (2009)
  18. Ciocchetta, Federica: The BlenX language with biological transactions (2008)
  19. Dematté, Lorenzo; Priami, Corrado; Romanel, Alessandro: The blenx language: A tutorial (2008) ioport
  20. Dematté, Lorenzo; Priami, Corrado; Romanel, Alessandro: Modelling and simulation of biological processes in blenx. (2008) ioport

1 2 next