Home

2013
Giunti, M., & Vasconcelos V. T. (2013).  Linearity, session types and the pi calculus. Mathematical Structures in Computer Science. 1–32.
2011
Giunti, M., & Vasconcelos V. T. (2011).  Linearity, session types and the pi calculus. UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE.
2010
Giunti, M., & Vasconcelos V. T. (2010).  A linear account of session types in the pi calculus. CONCUR 2010-Concurrency Theory. 432–446.
Vasconcelos, V. T., Giunti M., Yoshida N., & Honda K. (2010).  Type safety without subject reduction for session types. UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE.
2009
Giunti, M., Honda K., Vasconcelos V. T., & Yoshida N. (2009).  Session-based type discipline for pi calculus with matching. In the preproceedings of PLACES. 9,
2008
Giunti, M., Vasconcelos V. T., Loreti M., & Ferrari G. Luigi (2008).  Middleware for Transactions and Abstract Services.