Publication
Contributos para o estudo da semântica de linguagens com concorrência e mobilidade
| dc.contributor.author | Freire, Elisabete Raposo | |
| dc.date.accessioned | 2008-12-03T12:12:25Z | |
| dc.date.available | 2008-12-03T12:12:25Z | |
| dc.date.issued | 2004-11-19 | |
| dc.description | Tese de Doutoramento em Informática, especialidade de Teoria da Computação. | en |
| dc.description.abstract | Neste 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-π). | en |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT). | en |
| dc.identifier.tid | 101119577 | |
| dc.identifier.uri | http://hdl.handle.net/10400.3/119 | |
| dc.language.iso | por | en |
| dc.rights.uri | openAccess | en |
| dc.subject | Semântica Denotacional | en |
| dc.subject | Semântica Operacional | en |
| dc.subject | Teoria da Computação | en |
| dc.subject | Denotational Semantics | en |
| dc.subject | Operational Semantics | en |
| dc.subject | Theory of Computation | en |
| dc.title | Contributos para o estudo da semântica de linguagens com concorrência e mobilidade | en |
| dc.type | doctoral thesis | |
| dspace.entity.type | Publication | |
| rcaap.type | doctoralThesis | en |