Burrows–Abadi–Needham BAG logic

 

Burrows–Abadi–Needham (BAN) logic

https://en.wikipedia.org/wiki/Burrows%E2%80%93Abadi%E2%80%93Needham_logic#:~:text=Burrows%E2%80%93Abadi%E2%80%93Needham%20logic%20(,secured%20against%20eavesdropping%2C%20or%20both.

Q-bio, Ilya Nemenman, tutorial on information processing in biological systems

Information processing in biological systems, Ilya Nemenman

IN use probabilistic model for information processing.

w --> P(r|w) --> r --
^----------------------|

Information is not context free.

IN uses variability S[w] in his model. 

$S$ seems to stand for entropy. 

With probabilistic assumptions, IN can write down models explicitly. 

References:
http://www.menem.com/~ilya/wiki/index.php/Stochastic_dynamics_on_biological_networks