Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10362/155272
Título: | Safe Session-Based Concurrency with Shared Linear State |
Autor: | Rocha, Pedro Caires, Luís |
Palavras-chave: | Theoretical Computer Science Computer Science(all) |
Data: | 2023 |
Editora: | Springer |
Resumo: | 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). |
Peer review: | yes |
URI: | http://hdl.handle.net/10362/155272 |
DOI: | https://doi.org/10.1007/978-3-031-30044-8_16 |
ISBN: | 978-3-031-30043-1 978-3-031-30044-8 |
ISSN: | 0302-9743 |
Aparece nas colecções: | Home collection (FCT) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Safe_Session_Based_Concurrency.pdf | 752,01 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.