Listar Reportes Técnicos y de Investigación por tema "Linguagens orientadas : Objetos"
Mostrando ítems 1-2 de 2
-
Nonsequential automata semantics for a concurrent object-based language
(Instituto Superior Tecnico. Departamento de Matematica, 1995) [Reporte Técnico y de Investigación]Nonsequential automata constitute a categoria! semantic domain based on labeled transition system with full concurrency, where synchronization and hiding are functorial anda class of morphisms stands for reification. It ... -
Refinement in a concurrent, object-based language
(CPGCC da UFRGS, 1996) [Reporte Técnico y de Investigación]Nonsequential automata constitute a categoria! semantic domain based oo labeled transition system with full concurrency, where restriction and relabeling are functorial and a class oi morphisms stands for refinement. It ...