Repositório Digital

A- A A+

Nonsequential automata semantics for a concurrent object-based language

.

Nonsequential automata semantics for a concurrent object-based language

Mostrar registro completo

Estatísticas

Título Nonsequential automata semantics for a concurrent object-based language
Autor Menezes, Paulo Fernando Blauth
Sernadas, Amilcar dos Santos Costa
Costa, J. Felix
Data 1995
Assunto Linguagens orientadas : Objetos
Teoria : Ciência : Computação
Abstract 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 is, for our knowledge, the first model for concurrency which satisfies the diagonal compositionality requirement, i. e., reifications compose (vertical) and distribute over combinators (horizontal). To experiment with the proposed semantic domain, a semantics for a concurrent, object-based language is given. 1t is a simplified and revised version of the object-oriented specification language GNOME, introducing some special features inspired by the semantic domain such as reification and aggregation. The diagonal compositionality is an essential property to give semantics in this context.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126660
Arquivos Descrição Formato
000264651.pdf (6.861Mb) 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.