Veröffentlichungen

• Dahlweid, Markus and Schulze, Uwe: "Symbolic execution of CSP specifications", diploma thesis, Universität Bremen, December 1998

Software

• CIaO - a CSP Interpreter applying the Operational Sementics.
  Ein CSP Interpreter zur symbolischen Ausführung von CSP-Spezifikationen 
   
• DALI - Document Alternating Language Implementation

Eine Implementierung der Transformation Language des DSSSL-Standards.
 
• kimon - An ISDN-monitor for the K Desktop Environment

Sonstige Aktivitäten

• Heimanbindung über Modem oder ISDN zur Universität Bremen

Dipl. Inf. Markus Dahlweid

FB 3 - Informatik
Universität Bremen
Postfach 330 440
D-28334 Bremen
Germany

Phone:   +49 421 218 3337
Fax:     +49 421 218 3054

E-mail:  dahlweid@informatik.uni-bremen.de 

Markus Dahlweid

Breslauer Straße 24
D-27729 Axstedt
Germany

Phone:   +49 4748 820945

E-mail:  dahlweid@tzi.de