Browsing by Author "Freire, Elisabete Raposo"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
- Conhecimento, inovação e empregoPublication . Ribeiro, Isabel M.; Freire, Elisabete Raposo; Mendes, Armando B.; Gomes, Luís Mendes"Numa região pequena, geograficamente dispersa e ultra-periférica, onde quase tudo é limitado, o desempenho intelectual e a capacidade de adquirir conhecimento dos seus cidadãos, e portanto inovar, não deve ser restringida. Assim, uma reflexão, mesmo que superficial, sobre a constante turbulência verificada na Ciência e na Tecnologia, permite concluir que uma revisão da oferta de formação e emprego é imperativa. […]".
- Contributos para o estudo da semântica de linguagens com concorrência e mobilidadePublication . Freire, Elisabete RaposoNeste trabalho mostra-se como abordagens matematicamente mais simples que as tradicionais podem ser usadas na definição da semântica de linguagens com concorrência e também de linguagens com mobilidade. Completam-se também alguns aspectos da semântica da mobilidade para os quais as propostas actualmente existentes apresentam limitações. Faz-se a exploração de dois tipos de técnicas para definir as semânticas operacionais e denotacionais de linguagens com concorrência e mobilidade. Por um lado usam-se os conjuntos com famílias de equivalência, um conceito mais simples e manejável, que parece substituir com vantagens ao nível da simplicidade os espaços métricos, usados nas abordagens tradicionais. Por outro lado, completa-se o trabalho com uma abordagem mais recente, baseada na utilização de coálgebras para definir sistemas e tirando partido das facilidades proporcionadas pelos conjuntos nominais na manipulação de nomes. A avaliação destas técnicas é feita sobre uma linguagem com sincronização restrita (Lsyn) e sobre uma linguagem com mobilidade (cálculo-π).
- Defining Behaviours by Quasi-finalityPublication . Freire, Elisabete Raposo; Monteiro, LuísThis paper proposes a notion of quasi-final object for any concrete category, by relegating to the underlying category some of the requirements that final objects must satisfy in the main category. We present some very basic properties of quasi-final objects and show how known behaviours like traces and failures for transition systems, and behaviours extracted from the final sequence of an arbitrary endofunctor (here restricted to the first ω terms) can be described by quasi-final objects.