Ten Years of Concurrency Semantics by Amsterdam Concurrency Group