Publications

Export 2 results:
Filters: Author is Padovani, Luca  [Clear All Filters]
2014
Padovani, L., V. T. Vasconcelos, and H. Torres Vieira, "Typing liveness in multiparty communicating systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.