![]() Global type on to the message exchanges it participates in. A local specification for each role is generated by projecting from the MSTs, a global type specifies the interaction among the roles at the global Specifying and verifying message passing software systems. ![]() Authors: Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey Download PDF Abstract: Multiparty session types (MSTs) provide an efficient methodology for
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |