Export
APA
Luca Padovani, Vasco Vasconcelos, Hugo Torres Vieira, (2014). Typing liveness in multiparty communicating systems. 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION), 147-162
IEEE
Luca Padovani, Vasco Vasconcelos, Hugo Torres Vieira, "Typing liveness in multiparty communicating systems" in 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION), Location: Berlin, GERMANY, 2014, pp. 147-162,
doi:
BIBTEX
@InProceedings{34235,
author = {Luca Padovani and Vasco Vasconcelos and Hugo Torres Vieira},
title = {Typing liveness in multiparty communicating systems},
booktitle = {16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION)},
year = 2014,
pages = {147-162},
address = {Location: Berlin, GERMANY},
publisher = {}
}