Showing 1 - 4 results of 4 for search 'Vasco T. Vasconcelos', query time: 0.02s
Refine Results
-
1
Affine Sessions by Dimitris Mostrous, Vasco T. Vasconcelos
Published 2018-11-01
Article -
2
-
3
Modular session types for objects by Simon J. Gay, Nils Gesbert, António Ravara, Vasco T. Vasconcelos
Published 2015-12-01
Article -
4
Towards deductive verification of MPI programs against session types by Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Published 2013-12-01
Article