Blenx static and dynamic semantics

C Priami, P Quaglia, A Romanel - International Conference on …, 2009 - Springer
C Priami, P Quaglia, A Romanel
International Conference on Concurrency Theory, 2009•Springer
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.
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.
Springer
Show moreShow less
Save Cite Cited by 11 Related articles All 6 versions
Showing the best result for this search. See all results