In diesem Forschungsprojekt wird untersucht, wie sich die Paradigmen nebenläufiger, objektorientierter sowie funktionaler Programmierung bzw. Spezifikation miteinander kombinieren lassen. Im Jahr 1999 konzentrierte sich die Arbeit auf die Weiterentwicklung der Spezifikationssprache CASL (Common Algebraic Specification Language) innerhalb der CoFI (Common Framework Initiative) der IFIP WG 1.3. Es wurden Bibliotheken von Datentypen in CASL geschrieben, Studien zur Erweiterung der Basissprache CASL um reaktive Elemente durchgeführt sowie erste Ansätze zu einer objektorientierten Erweiterung von CASL entwickelt.