A Type System for Flexible Role Assignment in Multiparty Communicating Systems
- Citation:
- Baltazar, P, Caires L, Vasconcelos VT, Vieira HT.
2012. A Type System for Flexible Role Assignment in Multiparty Communicating Systems. Proceedings of the 7th International Symposium on Trustworthy Global Computing (TGC).
Abstract:
n/a
Notes:
n/a