Marco Giunti


AuthID: R-000-V85

Confirmed Publications: 5



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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service