Concur 2006 - concurrency theory (Berlin Springer-Verlag, 2006)