A Lexically Scoped Distributed $\pi$-Calculus

Detalhes bibliográficos
Autor(a) principal: Ravara, António
Data de Publicação: 2002
Outros Autores: Matos, Ana, Vasconcelos, Vasco T., Lopes, Luís
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14202
Resumo: We define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and distributed $\pi$-calculus with local communication and process migration. The calculus follows a simple model of distribution for mobile calculi, with a lexical scoping mechanism that provides both for remote communication and for process migration, making explicit migration primitives superfluous
id RCAP_bbb86b2316d1b89146d41bdf9e0ff9ee
oai_identifier_str oai:repositorio.ul.pt:10451/14202
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 A Lexically Scoped Distributed $\pi$-CalculusWe define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and distributed $\pi$-calculus with local communication and process migration. The calculus follows a simple model of distribution for mobile calculi, with a lexical scoping mechanism that provides both for remote communication and for process migration, making explicit migration primitives superfluousDepartment of Informatics, University of LisbonRepositório da Universidade de LisboaRavara, AntónioMatos, AnaVasconcelos, Vasco T.Lopes, Luís2009-02-10T13:11:40Z2002-042002-04-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14202porinfo: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:RCAAP2023-11-08T15:59:52Zoai:repositorio.ul.pt:10451/14202Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:02.020006Repositó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 A Lexically Scoped Distributed $\pi$-Calculus
title A Lexically Scoped Distributed $\pi$-Calculus
spellingShingle A Lexically Scoped Distributed $\pi$-Calculus
Ravara, António
title_short A Lexically Scoped Distributed $\pi$-Calculus
title_full A Lexically Scoped Distributed $\pi$-Calculus
title_fullStr A Lexically Scoped Distributed $\pi$-Calculus
title_full_unstemmed A Lexically Scoped Distributed $\pi$-Calculus
title_sort A Lexically Scoped Distributed $\pi$-Calculus
author Ravara, António
author_facet Ravara, António
Matos, Ana
Vasconcelos, Vasco T.
Lopes, Luís
author_role author
author2 Matos, Ana
Vasconcelos, Vasco T.
Lopes, Luís
author2_role author
author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Ravara, António
Matos, Ana
Vasconcelos, Vasco T.
Lopes, Luís
description We define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and distributed $\pi$-calculus with local communication and process migration. The calculus follows a simple model of distribution for mobile calculi, with a lexical scoping mechanism that provides both for remote communication and for process migration, making explicit migration primitives superfluous
publishDate 2002
dc.date.none.fl_str_mv 2002-04
2002-04-01T00:00:00Z
2009-02-10T13:11:40Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14202
url http://hdl.handle.net/10451/14202
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Department of Informatics, University of Lisbon
publisher.none.fl_str_mv Department of Informatics, University of Lisbon
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_ 1799134258631016448

Registros relacionados