Refinement mapping for general (discrete event) systems theory

Detalhes bibliográficos
Autor(a) principal: Menezes, Paulo Fernando Blauth
Data de Publicação: 1994
Outros Autores: Costa, J. Felix, Sernadas, Amilcar dos Santos Costa
Tipo de documento: Relatório
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126663
Resumo: 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).
id UFRGS-2_0cf3c31cc7d87e1d3f567d53e9a6f866
oai_identifier_str oai:www.lume.ufrgs.br:10183/126663
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Menezes, Paulo Fernando BlauthCosta, J. FelixSernadas, Amilcar dos Santos Costa2015-09-14T15:58:11Z1994http://hdl.handle.net/10183/126663000104246A 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).application/pdfengInstituto Superior Tecnico. Departamento de MatematicaTeoria : Ciência : ComputaçãoTeoria : SistemasRefinement mapping for general (discrete event) systems theoryinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000104246.pdf.txt000104246.pdf.txtExtracted Texttext/plain33933http://www.lume.ufrgs.br/bitstream/10183/126663/2/000104246.pdf.txta54dac65338def40a0c04cc652ccae19MD52ORIGINAL000104246.pdf000104246.pdfTexto completoapplication/pdf5925787http://www.lume.ufrgs.br/bitstream/10183/126663/1/000104246.pdf253a4638918a034114c5e7bbb8fa4bb8MD51THUMBNAIL000104246.pdf.jpg000104246.pdf.jpgGenerated Thumbnailimage/jpeg1631http://www.lume.ufrgs.br/bitstream/10183/126663/3/000104246.pdf.jpgdee4b361639db8c6122a11c4f14a5bf2MD5310183/1266632018-10-23 08:54:18.698oai:www.lume.ufrgs.br:10183/126663Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-23T11:54:18Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Refinement mapping for general (discrete event) systems theory
title Refinement mapping for general (discrete event) systems theory
spellingShingle Refinement mapping for general (discrete event) systems theory
Menezes, Paulo Fernando Blauth
Teoria : Ciência : Computação
Teoria : Sistemas
title_short Refinement mapping for general (discrete event) systems theory
title_full Refinement mapping for general (discrete event) systems theory
title_fullStr Refinement mapping for general (discrete event) systems theory
title_full_unstemmed Refinement mapping for general (discrete event) systems theory
title_sort Refinement mapping for general (discrete event) systems theory
author Menezes, Paulo Fernando Blauth
author_facet Menezes, Paulo Fernando Blauth
Costa, J. Felix
Sernadas, Amilcar dos Santos Costa
author_role author
author2 Costa, J. Felix
Sernadas, Amilcar dos Santos Costa
author2_role author
author
dc.contributor.author.fl_str_mv Menezes, Paulo Fernando Blauth
Costa, J. Felix
Sernadas, Amilcar dos Santos Costa
dc.subject.por.fl_str_mv Teoria : Ciência : Computação
Teoria : Sistemas
topic Teoria : Ciência : Computação
Teoria : Sistemas
description 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).
publishDate 1994
dc.date.issued.fl_str_mv 1994
dc.date.accessioned.fl_str_mv 2015-09-14T15:58:11Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126663
dc.identifier.nrb.pt_BR.fl_str_mv 000104246
url http://hdl.handle.net/10183/126663
identifier_str_mv 000104246
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Superior Tecnico. Departamento de Matematica
publisher.none.fl_str_mv Instituto Superior Tecnico. Departamento de Matematica
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/126663/2/000104246.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126663/1/000104246.pdf
http://www.lume.ufrgs.br/bitstream/10183/126663/3/000104246.pdf.jpg
bitstream.checksum.fl_str_mv a54dac65338def40a0c04cc652ccae19
253a4638918a034114c5e7bbb8fa4bb8
dee4b361639db8c6122a11c4f14a5bf2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447152335257600

Registros relacionados