33th Logic Seminar
Coextensive causation: a new model of computation?
Rene Vestergaard

JAIST, RCIS

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".