An algebra of behavioural types

Detalhes bibliográficos
Autor(a) principal: Ravara, António
Data de Publicação: 2012
Outros Autores: Resende, Pedro, T. Vasconcelos, Vasco
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/154066
Resumo: Special thanks to Gérard Boudol, Ilaria Castellani, Silvano Dal Zilio, and Massimo Merro, for fruitful discussions and careful reading of parts of this document. Several anonymous referees made useful comments.
id RCAP_7858815dda613ae7f2a75a6e5a6915a5
oai_identifier_str oai:run.unl.pt:10362/154066
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling An algebra of behavioural typesTheoretical Computer ScienceInformation SystemsComputer Science ApplicationsComputational Theory and MathematicsSpecial thanks to Gérard Boudol, Ilaria Castellani, Silvano Dal Zilio, and Massimo Merro, for fruitful discussions and careful reading of parts of this document. Several anonymous referees made useful comments.We propose a process algebra, the Algebra of Behavioural Types, as a language for typing concurrent objects. A type is a higher-order labelled transition system that characterises all possible life cycles of a concurrent object. States represent interfaces of objects; state transitions model the dynamic change of object interfaces. Moreover, a type provides an internal view of the objects that inhabits it: a synchronous one, since transitions correspond to message reception. To capture this internal view of objects we define a notion of bisimulation, strong on labels and weak on silent actions. We study several algebraic laws that characterise this equivalence, and obtain completeness results for image-finite types.DI - Departamento de InformáticaCITI - Centro de Informática e Tecnologias da InformaçãoRUNRavara, AntónioResende, PedroT. Vasconcelos, Vasco2023-06-16T22:20:35Z2012-032012-03-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article28application/pdfhttp://hdl.handle.net/10362/154066eng0890-5401PURE: 63858255https://doi.org/10.1016/j.ic.2011.12.005info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T05:36:34Zoai:run.unl.pt:10362/154066Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:55:29.867409Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv An algebra of behavioural types
title An algebra of behavioural types
spellingShingle An algebra of behavioural types
Ravara, António
Theoretical Computer Science
Information Systems
Computer Science Applications
Computational Theory and Mathematics
title_short An algebra of behavioural types
title_full An algebra of behavioural types
title_fullStr An algebra of behavioural types
title_full_unstemmed An algebra of behavioural types
title_sort An algebra of behavioural types
author Ravara, António
author_facet Ravara, António
Resende, Pedro
T. Vasconcelos, Vasco
author_role author
author2 Resende, Pedro
T. Vasconcelos, Vasco
author2_role author
author
dc.contributor.none.fl_str_mv DI - Departamento de Informática
CITI - Centro de Informática e Tecnologias da Informação
RUN
dc.contributor.author.fl_str_mv Ravara, António
Resende, Pedro
T. Vasconcelos, Vasco
dc.subject.por.fl_str_mv Theoretical Computer Science
Information Systems
Computer Science Applications
Computational Theory and Mathematics
topic Theoretical Computer Science
Information Systems
Computer Science Applications
Computational Theory and Mathematics
description Special thanks to Gérard Boudol, Ilaria Castellani, Silvano Dal Zilio, and Massimo Merro, for fruitful discussions and careful reading of parts of this document. Several anonymous referees made useful comments.
publishDate 2012
dc.date.none.fl_str_mv 2012-03
2012-03-01T00:00:00Z
2023-06-16T22:20:35Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/154066
url http://hdl.handle.net/10362/154066
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0890-5401
PURE: 63858255
https://doi.org/10.1016/j.ic.2011.12.005
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 28
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799138142145478656

Registros relacionados