A type system for flexible role assignment in multiparty communicating systems
Pedro Baltazar, Luís Manuel Marques da Costa Caires, Vasco T. Vasconcelos, Hugo Filipe Mendes Torres Vieira
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
18
Link opens in a new tab
Citations
(Scopus)