Spatial-behavioral types for concurrency and resource control in distributed systems

Detalhes bibliográficos
Autor(a) principal: Caires, Luís
Data de Publicação: 2008
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: https://doi.org/10.1016/j.tcs.2008.04.030
Resumo: We would like to thank Luca Cardelli, Peter O’Hearn, Vasco Vasconcelos, Etienne Lozes and Gianluigi Ferrari for related discussions. We acknowledge CITI, Project POSC/55582/2004 SpaceTimeTypes, and IP Sensoria.
id RCAP_48cbb0e25231d2e32af0c913849ba74b
oai_identifier_str oai:run.unl.pt:10362/61650
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 Spatial-behavioral types for concurrency and resource control in distributed systemsBehavioral typesConcurrency controlDistributed systemsService-based systemsSpatial logicsTheoretical Computer ScienceComputer Science(all)We would like to thank Luca Cardelli, Peter O’Hearn, Vasco Vasconcelos, Etienne Lozes and Gianluigi Ferrari for related discussions. We acknowledge CITI, Project POSC/55582/2004 SpaceTimeTypes, and IP Sensoria.We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a resource sensitive model, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses resource synchronization, and a type modality expresses resource ownership. We model the intended computational systems using a concurrent object calculus. Soundness of our type system is established using a logical relations technique, building on a interpretation of types as properties expressible in a spatial logic.DI - Departamento de InformáticaCITI - Centro de Informática e Tecnologias da InformaçãoRUNCaires, Luís2019-02-25T23:20:02Z2008-08-082008-08-08T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article22application/pdfhttps://doi.org/10.1016/j.tcs.2008.04.030eng0304-3975PURE: 11709330http://www.scopus.com/inward/record.url?scp=46449117857&partnerID=8YFLogxKhttps://doi.org/10.1016/j.tcs.2008.04.030info: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-11T04:29:18Zoai:run.unl.pt:10362/61650Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:33:40.096160Repositó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 Spatial-behavioral types for concurrency and resource control in distributed systems
title Spatial-behavioral types for concurrency and resource control in distributed systems
spellingShingle Spatial-behavioral types for concurrency and resource control in distributed systems
Caires, Luís
Behavioral types
Concurrency control
Distributed systems
Service-based systems
Spatial logics
Theoretical Computer Science
Computer Science(all)
title_short Spatial-behavioral types for concurrency and resource control in distributed systems
title_full Spatial-behavioral types for concurrency and resource control in distributed systems
title_fullStr Spatial-behavioral types for concurrency and resource control in distributed systems
title_full_unstemmed Spatial-behavioral types for concurrency and resource control in distributed systems
title_sort Spatial-behavioral types for concurrency and resource control in distributed systems
author Caires, Luís
author_facet Caires, Luís
author_role 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 Caires, Luís
dc.subject.por.fl_str_mv Behavioral types
Concurrency control
Distributed systems
Service-based systems
Spatial logics
Theoretical Computer Science
Computer Science(all)
topic Behavioral types
Concurrency control
Distributed systems
Service-based systems
Spatial logics
Theoretical Computer Science
Computer Science(all)
description We would like to thank Luca Cardelli, Peter O’Hearn, Vasco Vasconcelos, Etienne Lozes and Gianluigi Ferrari for related discussions. We acknowledge CITI, Project POSC/55582/2004 SpaceTimeTypes, and IP Sensoria.
publishDate 2008
dc.date.none.fl_str_mv 2008-08-08
2008-08-08T00:00:00Z
2019-02-25T23:20:02Z
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 https://doi.org/10.1016/j.tcs.2008.04.030
url https://doi.org/10.1016/j.tcs.2008.04.030
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0304-3975
PURE: 11709330
http://www.scopus.com/inward/record.url?scp=46449117857&partnerID=8YFLogxK
https://doi.org/10.1016/j.tcs.2008.04.030
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 22
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_ 1799137958316474368

Registros relacionados