Repositório Digital

A- A A+

Refinement mapping for general (discrete event) systems theory

.

Refinement mapping for general (discrete event) systems theory

Mostrar registro completo

Estatísticas

Título Refinement mapping for general (discrete event) systems theory
Autor Menezes, Paulo Fernando Blauth
Costa, J. Felix
Sernadas, Amilcar dos Santos Costa
Data 1994
Assunto Teoria : Ciência : Computação
Teoria : Sistemas
Abstract 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 the proposed framework, a class of mappings stands for refinement. 1l1en we prove that refinement satisfies the diagonal compositionality requirement, i.e. , refinements compose (vertical) and distribute over system composition (horizontal).
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126663
Arquivos Descrição Formato
000104246.pdf (5.925Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.