Parameterized, concurrent session types for asynchronous multi-actor interactions

Keyphrases

• Session Types 100%
• Multi-actor Collaboration 100%
• Communication Protocol 50%
• Asynchrony 50%
• Large Classes 25%
• Programming Languages 25%
• Type Systems 25%
• Concurrency 25%
• Asynchronous Communication 25%
• Static Verification 25%
• Sliding Window Protocol 25%
• Multi-actor 25%

Computer Science

• Communication Protocol 100%
• Concurrency 50%
• Type Systems 50%
• Sliding Window Protocol 50%
• Programming Language 50%