Wolfgang Reissenberger

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