Title: CDL - eine Logik für unendliche nebenläufige Systeme