Logo do repositório
 
Miniatura
Publicação

Safe Session-Based Concurrency with Shared Linear State

2023Documento de conferência Acesso aberto
http://hdl.handle.net/10362/155272
Utilize este identificador para referenciar este registo.
Nome:Descrição:Tamanho:Formato: 
Safe_Session_Based_Concurrency.pdf752.01 KBAdobe PDF Ver/Abrir

Autores

Rocha, Pedro
Caires, Luís

Orientador(es)

Resumo(s)

We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.

Descrição

Publisher Copyright: © 2023, The Author(s).

Palavras-chave

Theoretical Computer Science General Computer Science

URI

http://hdl.handle.net/10362/155272

Contexto Educativo

Citação

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

Springer

DOI

10.1007/978-3-031-30044-8_16

Coleções

Home collection (FCT)

Licença CC

Métricas Alternativas