Clive Fencott

• Formal Methods for Concurrency
• Game Invaders
• Non hysteron proteron
• Chasing / the Dragon / in Clouds
• Game Invaders
• Yodelling Up the Canyon