proceeding Papers BlenX - Static and Dynamic Semantics


Abstract

We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. 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.



Paper Details

Authors

C. Priami,  P. Quaglia,  A. Romanel

Publication

In Proceedings of 20th International Conference on Concurrency Theory (CONCUR)

Language

English
.