Marco Giunti
Title
Cited by
Cited by
Year
A linear account of session types in the pi calculus
M Giunti, VT Vasconcelos
International Conference on Concurrency Theory, 432-446, 2010
432010
Secure implementations of typed channel abstractions
M Bugliesi, M Giunti
ACM SIGPLAN Notices 42 (1), 251-262, 2007
352007
Hide and new in the pi-calculus
M Giunti, C Palamidessi, FD Valencia
arXiv preprint arXiv:1208.2749, 2012
142012
Session-based type discipline for pi calculus with matching
M Giunti, K Honda, VT Vasconcelos, N Yoshida
In the preproceedings of PLACES 9, 2009
142009
Linearity, session types and the pi calculus
M Giunti, VT Vasconcelos
Mathematical Structures in Computer Science, 2014
122014
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
The Journal of Logic and Algebraic Programming 82 (8), 263-281, 2013
62013
Towards Static Deadlock Resolution in the -Calculus
M Giunti, A Ravara
International Symposium on Trustworthy Global Computing, 136-155, 2013
52013
Preventing intrusions through non-interference
M Giunti
Proceeding of the IEEE Mexican Conference on Informatics Security. IEEE …, 2006
52006
Secure Implementations of Typed Channel Abstractions
M Giunti
PhD thesis, Università di Venezia,, 2007
42007
Java typestate checker
J Mota, M Giunti, A Ravara
International Conference on Coordination Languages and Models, 121-133, 2021
32021
Rewinding functions through CPS
M Giunti
32019
Type safety without subject reduction for session types
VT Vasconcelos, M Giunti, N Yoshida, K Honda
32010
GoPi: Compiling linear and static channels in go
M Giunti
International Conference on Coordination Languages and Models, 137-152, 2020
22020
Static semantics of secret channel abstractions
M Giunti
Nordic Conference on Secure IT Systems, 165-180, 2014
22014
Linearity, session types and the pi calculus
M Giunti, VT Vasconcelos
UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011
22011
Pointing to private names
A Francalanza, M Giunti, A Ravara
EasyChair Preprint, 2018
12018
Unlocking blocked communicating processes
A Francalanza, M Giunti, A Ravara
arXiv preprint arXiv:1508.03901, 2015
12015
Typed Observational Equivalence for Sessions
M Giunti
12011
The system can't perform the operation now. Try again later.
Articles 1–20