DFG/DFKI projects

=================

CASL methodology, 3rd volume, ccc tools (Till, Lutz, Cxl)

CoCASL/Concurrent Haskell (George's events)/SPIN/CspCASL (Till, Shi, Lutz)

Modal-CASL als Anforderungssprache

div. Prozessalgebren (wir stellen den allg. Rahmen)

HetCASL/Hets (Till)

Abstract robotics (cxl, paolo)

AWE II / General FM (cxl, bkb)