Publications

Export 1 results:
Filters: Author is Resende, Pedro  [Clear All Filters]
2012
Ravara, A., P. Resende, and V. T. Vasconcelos, "An algebra of behavioural types", Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.