Marco Giunti


AuthID: R-000-V85

Publicações Confirmadas: 5



1
TÍTULO: Linearity, session types and the Pi calculus
AUTORES: Giunti, M ; Vasconcelos, VT ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
2
TÍTULO: Unlocking Blocked Communicating Processes  Full Text
AUTORES: Adrian Francalanza; Marco Giunti ; Antonio Ravara;
PUBLICAÇÃO: 2015, FONTE: 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 188, NÚMERO: 188
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: Linearity, session types and the Pi calculus
AUTORES: Giunti, M ; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: Scopus CrossRef
4
TÍTULO: Static semantics of secret channel abstractions
AUTORES: Giunti, M ;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8788
INDEXADO EM: Scopus CrossRef
5
TÍTULO: A Linear Account of Session Types in the Pi Calculus
AUTORES: Giunti, M ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXADO EM: Scopus WOS DBLP CrossRef

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service