Multiparty Session Nets

Keyphrases

• Multiparty Session Types 100%
• Multiparty Sessions 100%
• Token 50%
• Graph Representation 50%
• Liberal 50%
• Petri Nets 50%
• Fork-join 50%
• Well-formedness 50%
• Multiparty Systems 50%
• Java API 50%
• Role-based 50%
• Channel Mobility 50%
• Type Safety 50%
• Join Patterns 50%
• Session Graph 50%

Computer Science

• Syntactics 100%
• Graphical Representation 50%
• Petri Net 50%