Home

2014
Mostrous, D., & Vasconcelos V. T. (2014).  Affine Sessions. Coordination Models and Languages.
Mostrous, D. (2014).  Multiparty Sessions based on Proof Nets. Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES).
2012
Baltazar, P., Mostrous D., & Vasconcelos V. T. (2012).  Linearly refined session types. arXiv preprint arXiv:1211.4099.
Mostrous, D. (2012).  Proof Nets as Processes.
Mostrous, D. (2012).  Proof Nets in Process Algebraic Form.
2011
Mostrous, D., & Vasconcelos V. T. (2011).  Session typing for a featherweight Erlang. Coordination Models and Languages. 95–109.