Concur'99. Concurrency Theory by J.C.M. Baseten