Marco Giunti
TitleCited byYear
A linear account of session types in the pi calculus
M Giunti, VT Vasconcelos
International Conference on Concurrency Theory, 432-446, 2010
422010
Secure implementations of typed channel abstractions
M Bugliesi, M Giunti
ACM SIGPLAN Notices 42 (1), 251-262, 2007
322007
Session-based type discipline for pi calculus with matching
M Giunti, K Honda, VT Vasconcelos, N Yoshida
In the preproceedings of PLACES 9, 2009
132009
Linearity, session types and the pi calculus
M Giunti, VT Vasconcelos
Mathematical Structures in Computer Science, 2014
112014
Hide and new in the pi-calculus
M Giunti, C Palamidessi, FD Valencia
arXiv preprint arXiv:1208.2749, 2012
112012
A type checking algorithm for qualified session types
M Giunti
arXiv preprint arXiv:1108.2360, 2011
102011
Typed processes in untyped contexts
M Bugliesi, M Giunti
International Symposium on Trustworthy Global Computing, 19-32, 2005
102005
Algorithmic type checking for a pi-calculus with name matching and session types.
M Giunti
J. Log. Algebr. Program. 82 (8), 263-281, 2013
52013
Towards Static Deadlock Resolution in the -Calculus
M Giunti, A Ravara
International Symposium on Trustworthy Global Computing, 136-155, 2013
42013
Secure Implementations of Typed Channel Abstractions
M Giunti
PhD thesis, Universitŗ di Venezia,, 2007
42007
Preventing intrusions through non-interference
M Giunti
Proceeding of the IEEE Mexican Conference on Informatics Security. IEEE†…, 2006
42006
Type safety without subject reduction for session types
VT Vasconcelos, M Giunti, N Yoshida, K Honda
32010
Linearity, session types and the pi calculus
M Giunti, VT Vasconcelos
UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011
22011
Unlocking blocked communicating processes
A Francalanza, M Giunti, A Ravara
arXiv preprint arXiv:1508.03901, 2015
12015
Static semantics of secret channel abstractions
M Giunti
Nordic Conference on Secure IT Systems, 165-180, 2014
12014
Typed Observational Equivalence for Sessions
M Giunti
12011
Compiling linear and static channels in Go
M Giunti
INForum, 2019
2019
Rewinding functions through CPS
M Giunti
2019
Pointing to Private Names
A Francalanza, M Giunti, A Ravara
EasyChair, 2018
2018
Middleware for Transactions and Abstract Services
M Giunti, V t Vasconcelos, M Loreti, GL Ferrari
2008
The system can't perform the operation now. Try again later.
Articles 1–20