BlenX static and dynamic semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5710 LNCS, Issue , 2009, Pages 37-52

  Priami, Corrado ^a   Quaglia, Paola ^a   Romanel, Alessandro ^a  

^a CoSBi and Università di Trento ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PROCESS CALCULI; PROGRAMMING LANGUAGE; STATIC AND DYNAMIC;

BIOLOGICAL SYSTEMS;

BIOMINERALIZATION;

EID: 70349871427     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04081-8_4     Document Type: Conference Paper

References (7)

1. Dematte, L., Priami, C., Romanel, A.: The BlenX Language: A Tutorial. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.5016, pp. 313-365. Springer, Heidelberg (2008)
2. Prandi, D., Priami, C., Quaglia, P.: Communicating by compatibility. JLAP 75, 167 (2008)
3. Priami, C.: Algorithmic systems biology. CACM 52(5), 80-88 (2009)
4. Priami, C., Quaglia, P.: Modeling the dynamics of bio-systems. Briefings in Bionformatics 5(3) (2004)
5. Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.3082, pp. 20-33. Springer, Heidelberg (2005)
6. Regev, A., Shapiro, E.: Cells as computations. Nature 419, 343 (2002)
7. Welch, P.H., Barnes, F.R.M.: Communicating mobile processes: Introducing occampi. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.3525, pp. 175-210. Springer, Heidelberg (2005)