Proofs on unconventional computing Are there any interesting proofs on unconventional computing? When reading on the topic I most often see soft analysis – like following paragraph from Wikipedia (Natural computing):


  Swarm intelligence,[12] sometimes referred to as collective
  intelligence, is defined as the problem solving behavior that emerges
  from the interaction of individual agents (e.g., bacteria, ants,
  termites, bees, spiders, fish, birds) which communicate with other
  agents by acting on their local environments.


Instead of soft analysis – are there any formal (and important) results in the topic?
A recent and interesting attempt to model flocking behavior is Bernard Chazelle's work (see the four most recent papers (as of Mar 2012). He's also running a summer school on computation and biology at the Institute for Advanced Science.