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 TamanhoFormato 
Safe_Session_Based_Concurrency.pdf752,01 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.