BlenX Static and Dynamic Semantics

Authors:
Corrado Priami;Paola Quaglia;Alessandro Romanel
Affiliations:
CoSBi and Università di Trento, Italy;CoSBi and Università di Trento, Italy;CoSBi and Università di Trento, Italy
Venue:
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Year:
2009

Citing 4
Cited 3

Algorithmic systems biology

Communications of the ACM - Security in the Browser
The BlenX language: a tutorial

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
Beta binders for biological interactions

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

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

The attributed pi-calculus with priorities

Transactions on Computational Systems Biology XII
Modelling self-assembly in BlenX

Transactions on Computational Systems Biology XII
A rule-based and imperative language for biochemical modeling and simulation

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Beta-binders. It has been specifically designed and implemented to model and simulate biological systems, but it is general enough to handle core computer science problems as well.