Byron Cook

Concurrency.....

I'm excited about this workshop that Mooly and Viktor are organizing at my lab........
at Tuesday, April 29, 2008
Newer Post Older Post Home

Byron Cook

View my complete profile

Blog Archive

  • ►  2012 (3)
    • ►  April (2)
    • ►  February (1)
  • ►  2011 (1)
    • ►  June (1)
  • ►  2010 (3)
    • ►  November (2)
    • ►  September (1)
  • ►  2009 (7)
    • ►  October (1)
    • ►  August (1)
    • ►  June (2)
    • ►  April (1)
    • ►  March (1)
    • ►  January (1)
  • ▼  2008 (31)
    • ►  December (2)
    • ►  November (1)
    • ►  October (3)
    • ►  August (3)
    • ►  July (3)
    • ►  June (2)
    • ►  May (4)
    • ▼  April (5)
      • Concurrency.....
      • A long time coming.....
      • Proving conditional termination
      • Great films
      • CAV papers......
    • ►  March (4)
    • ►  January (4)
  • ►  2007 (12)
    • ►  December (7)
    • ►  November (5)

Links

  • Byron at work
  • TERMINATOR project
  • SLAyer project
  • SLAM project
  • SDV product
  • East London Massive
Simple theme. Powered by Blogger.