Listar por tema "Teoria : Sistemas"
Mostrando ítems 1-1 de 1
-
Refinement mapping for general (discrete event) systems theory
(Instituto Superior Tecnico. Departamento de Matematica, 1994) [Reporte Técnico y de Investigación]A categoria! semantic domain for general (discrete event) systems based on labeled transition systems with full concurrency is constructed, where synchronization and hiding are functorial. Moreover, we claim that, within ...