Home

2013
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–32, 2013.
2011
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011.
2010
Giunti, M., and V. T. Vasconcelos, "A linear account of session types in the pi calculus", CONCUR 2010-Concurrency Theory: Springer Berlin Heidelberg, pp. 432–446, 2010.
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.