ML with Concurrency: Design, Analysis, Implementation, and Application

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers