Home

2013
Cogumbreiro, T., Martins F., & Vasconcelos V. T. (2013).  Coordinating phased activities while maintaining progress. Coordination Models and Languages. 31–44.
2011
Martins, F., Vasconcelos V. T., & Cogumbreiro T. (2011).  Types for X10 Clocks. arXiv preprint arXiv:1110.4165.
2010
Vasconcelos, V. T., Martins F., & Cogumbreiro T. (2010).  Type inference for deadlock detection in a multithreaded polymorphic typed assembly language. arXiv preprint arXiv:1002.0942.
2009
Cogumbreiro, T., Martins F., & Vasconcelos V. T. (2009).  Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language. Electronic Notes in Theoretical Computer Science. 241, 57–84.
Cogumbreiro, T., Martins F., & Vasconcelos V. T. (2009).  Compiling the $π$-calculus into a Multithreaded Typed Assembly Language. Electronic Notes in Theoretical Computer Science. 241, 57–84.