@inproceedings{9db18f3528aa46169986004a3490f08b,
title = "Secrecy of signals by typing in signal transduction",
abstract = "We discuss secrecy of signals in signal transduction. As we have developed a basic concurrent language with interferencial coefficients, Iπ-calculus, to describe aberrance in biological models, a typing system for Iπ-calculus is proposed for achieving secrecy of signals in signal transduction. We show that this typing system guarantees that, if signal transduction typechecks, then it does not leak aberrance of signals.",
author = "Min Zhang and Guoqiang Li and Yuxi Fu",
year = "2006",
doi = "10.1007/11881223\_47",
language = "英语",
isbn = "3540459073",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "384--393",
booktitle = "Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings",
address = "德国",
note = "2nd International Conference on Natural Computation, ICNC 2006 ; Conference date: 24-09-2006 Through 28-09-2006",
}