Material from UIML DISL Discussion

Hi all,

as discussed yesterday, I attach the skeched proof of turing
completeness of DISL. Please take a careful look at it, as I am
not a formal languages expert and might have missed something.

Furthermore, I give you some URLs which fit to the questions 
submitted by Jean, regarding Muldimodality:

http://iihm.imag.fr/bouchet/ICARE/
http://www.limsi.fr/Individu/martin/publications/download/16-Martin.pdf
  

Best Regards,
Robbie
--
   _/ Dipl. Inf. Robbie Schaefer _/ Phone: +49 5251 60-6107  _/
  _/ Visual Interactive Systems _/ Fax: +49 5251 60-6065    _/
 _/ C-LAB Fuerstenallee 11     _/                          _/
_/ D-33102 Paderborn          _/ URL: http://www.c-lab.de _/