Datum | Name | Vorname | Vortrag | Ausarbeitung |
24.10.96 | Lotfitabrizi | Razi | pH Language | Ausarbeitung |
31.10.96 | Schneider | Sabine | Semantics of pH Language | Ausarbeitung |
7.11.96 | Bruns | Heiner | The vectorisation monad. | Ausarbeitung |
14.11.96 | Hillebrecht | Christian | Worst case scheduling | Ausarbeitung |
21.11.96 | Beck | Torsten | parallel programs onto hypercubes | |
28.11.96 | Sidiropoulou | Erato | Concurrent Clean | |
5.12.96 | Mann | Matthias | PABC-machine | Ausarbeitung |
12.12.96 | Kappes | Stefan | Communication lifting | |
19.12.96 | Pfeifer | Michaela | GUM | Ausarbeitung |
9.1.97 | Ueberall | Markus | Simplifying Parallel List Traversal | Ausarbeitung |
16.1.97 | Iske | Kai | SML and Dactl | |
23.1.97 | Schrumpf | Kai | Compiling SML to Dactl | |
30.1.97 | Eckardt | Helmut | managing the granularity | Ausarbeitung |
6.2.97 | Walizadeh | Nadali | Mobile Processes | Ausarbeitung |
13.2.97 | Staab | Dietmar | Process Semantics of Graph Reduction |