Open AccessAdvances in Natural Computation
Author(s) -
Min Zhang,
Ming Li,
Fuxi Fu
Publication year - 2006
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/11881223
Subject(s) - natural (archaeology) , computer science , computation , history , programming language , archaeology
International audienceWe discuss secrecy of signals in signal transduction. As we have developed a basic concurrent language with interferencial coefficients, Ipi-calculus, to describe aberrance in biological models, a typing system for Ipi-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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom