?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-41157-1_6&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Pedro&rft.aulast=Baltazar&rft.au=Baltazar%2C+Pedro&rft.isbn=978-3-642-41157-1&rft.btitle=Trustworthy+Global+Computing&rft.title=A+type+system+for+flexible+role+assignment+in+multiparty+communicating+systems&rft.date=2013&rft.genre=bookitem