
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.creator | Librelotto, Giovani Rubert | - |
| Autor(es): dc.creator | Gassen, Jonas Bulegon | - |
| Autor(es): dc.creator | Turchetti, Rogério Corrêa | - |
| Autor(es): dc.creator | Toscani, Simão Sirineo | - |
| Data de aceite: dc.date.accessioned | 2026-02-09T11:54:43Z | - |
| Data de disponibilização: dc.date.available | 2026-02-09T11:54:43Z | - |
| Data de envio: dc.date.issued | 2008-03-01 | - |
| Data de envio: dc.date.issued | 2017-08-01 | - |
| Data de envio: dc.date.issued | 2017-08-01 | - |
| Data de envio: dc.date.issued | 2017-08-01 | - |
| Fonte completa do material: dc.identifier | https://repositorio.ufla.br/handle/1/15027 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/1150179 | - |
| Descrição: dc.description | RS is a reactive synchronous programming language suited to the implementation of the control part of reactive systems. The RS source programs are compiled to finite automata, which are very fast at execution time. This paper describes: (1) the distribution of the RS language, (2) the design of an MDX kernel that implements the communication facilities for the distributed automata, and (3) the implementation of the resulting distributed model using the C language. | - |
| Descrição: dc.description | RS é uma linguagem de programação síncrona reativa projetada para a implementação da parte de controle de um sistema reativo. Os códigos-fontes RS são compilados para autômatos finitos, os quais possuem um rápido tempo de execução. Este artigo descreve: (1) a distribuição da linguagem RS, (2) o projeto de um núcleo MDX que implementa as facilidades de comunicação entre os autômatos distribuídos e (3) a implementação do modelo distribuído resultante usando a linguagem C. | - |
| Formato: dc.format | application/pdf | - |
| Formato: dc.format | application/pdf | - |
| Publicador: dc.publisher | Universidade Federal de Lavras (UFLA) | - |
| Relação: dc.relation | http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/209/194 | - |
| Direitos: dc.rights | Attribution 4.0 International | - |
| Direitos: dc.rights | Attribution 4.0 International | - |
| Direitos: dc.rights | http://creativecommons.org/licenses/by/4.0/ | - |
| Direitos: dc.rights | http://creativecommons.org/licenses/by/4.0/ | - |
| ???dc.source???: dc.source | INFOCOMP; Vol 7 No 1 (2008): March, 2008; 79-85 | - |
| ???dc.source???: dc.source | 1982-3363 | - |
| ???dc.source???: dc.source | 1807-4545 | - |
| Palavras-chave: dc.subject | Reactive systems | - |
| Palavras-chave: dc.subject | Finite automata | - |
| Palavras-chave: dc.subject | Reactive synchronous programming language | - |
| Palavras-chave: dc.subject | MDX system | - |
| Palavras-chave: dc.subject | Distributed automata | - |
| Palavras-chave: dc.subject | Sistemas reativos | - |
| Palavras-chave: dc.subject | Autômatos finitos | - |
| Palavras-chave: dc.subject | Linguagem de programação reativa | - |
| Palavras-chave: dc.subject | Autômatos distribuídos | - |
| Título: dc.title | A distributed reactive synchronous programming language | - |
| Título: dc.title | Uma linguagem de programação síncrona reativa distribuída | - |
| Tipo de arquivo: dc.type | info:eu-repo/semantics/article | - |
| Tipo de arquivo: dc.type | info:eu-repo/semantics/publishedVersion | - |
| Aparece nas coleções: | Repositório Institucional da Universidade Federal de Lavras (RIUFLA) | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: