The BlenX language: a tutorial

Authors:
L. Dematté;C. Priami;A. Romanel
Affiliations:
CoSBi, Trento, Italy and Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, Italy;CoSBi, Trento, Italy and Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, Italy;CoSBi, Trento, Italy and Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, Italy
Venue:
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Year:
2008

Citing 7
Cited 14

The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Communication and Concurrency

Communication and Concurrency
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
An Abstract Machine for the Stochastic Bioambient calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

Modelling Biological Compartments in Bio-PEPA

Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic systems biology

Communications of the ACM - Security in the Browser
The BlenX Language with Biological Transactions

Transactions on Computational Systems Biology IX
Studying Irreversible Transitions in a Model of Cell Cycle Regulation

Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
BlenX Static and Dynamic Semantics

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
BlenX4Bio --- BlenX for Biologists

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Exploiting non-Markovian Bio-Processes

Electronic Notes in Theoretical Computer Science (ENTCS)
Software, Data and Modelling News: CoSBiLab LIME: A language interface for stochastic dynamical modelling in ecology

Environmental Modelling & Software
Translation from the quantified implicit process flow abstraction in SBGN-PD diagrams to bio-PEPA illustrated on the cholesterol pathway

Transactions on computational systems biology XIII
The evolution of higher-level biochemical reaction models

Genetic Programming and Evolvable Machines
Modelling self-assembly in BlenX

Transactions on Computational Systems Biology XII
Composability: perspectives in ecological modeling

ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
An imperative language of self-modifying graphs for biological systems

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.