2012-03-29, 15:00-17:00
Seminar room of the RCIS, 3. floor
I will introduce what appears to be a new model of computation, inspired by the dynamics of gene-regulation reasoning. It is related to existing models of concurrency but does not have explicit synchronization mechanisms. It concerns reactive behaviors and is somewhat co-algebraic in flavor. I will exemplify with the plot of "The Phantom of the Opera".