机译:使用移动代码的应用程序规范的图形转换视图**研究部分得到ForMOS项目的支持(MétodosFormais paraCódigoMóvelemSistemas Abertos)-授予CNPq 520269 / 98-5,研究培训网络GET-GRATS(图形转换系统的通用理论)和MURST项目的竞争理论,高阶语言和类型结构(TOSCA)。
机译:移动环境的并发图语义11这项研究得到了EC TMR网络图形转换系统通用理论(GETGRATS)的部分支持;通过EC Esprit WG图形转换应用(APPLIGRAPH);并由意大利MURST项目竞争理论,高阶语言和类型结构(TOSCA)组成。