Publications

Export 1 results:
Filters: Author is Franco, Juliana  [Clear All Filters]
2014
Franco, J., and V. T. Vasconcelos, "A concurrent programming language with refined session types", Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.