This special issue contains five articles based on papers presented at the 4th International Workshop on Interactions between Computer Science and Biology, CS2Bio’13. The workshop series aims at exploring the “interactions” between computer science, in particular formal methods, and biology at system level. The workshop gathered researchers interested in the convergence of Computer Science and Life Sciences. The five selected papers contained in this special issue concern the design and analysis of behavioural properties typical of biological systems. Compared with the workshop papers, the articles have been strongly revised and extended with additional results. They underwent a further rigourous reviewing process, following the standard of the TCS journal.
Interactions between Computer Science and Biology
MERELLI, Emanuela;
2015-01-01
Abstract
This special issue contains five articles based on papers presented at the 4th International Workshop on Interactions between Computer Science and Biology, CS2Bio’13. The workshop series aims at exploring the “interactions” between computer science, in particular formal methods, and biology at system level. The workshop gathered researchers interested in the convergence of Computer Science and Life Sciences. The five selected papers contained in this special issue concern the design and analysis of behavioural properties typical of biological systems. Compared with the workshop papers, the articles have been strongly revised and extended with additional results. They underwent a further rigourous reviewing process, following the standard of the TCS journal.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
