Lambdoid Emergence

 Rene Vestergaard, Jittisak Senachak, Mun'delanji Vestergaard
                    JAIST, Japan


We analyse lambdoid gene regulation using the CEq formal method
for inferring emergent properties from modal influence graphs.
In addition to presenting the most comprehensive mathematical
modelling of Bacteriophage lambda to date, our approach allows
us to articulate and explore rigourously stated and
algebraically concise properties of the way the virus works,
and to propose novel explanations of the nature of lambdoid
switching, stability, anti-immunity, and more.