Baltazar, Pedro and Caires, Luis and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo
A type system for flexible role assignment in multiparty communicating systems.
In:
Trustworthy Global Computing.
Lecture Notes in Computer Science
(8191).
Springer, pp. 82-96.
ISBN 978-3-642-41157-1
(2013)