Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

Keyphrases

• By Design 100%
• Deadlock Freedom 100%
• Protocol Specification 100%
• Global Programs 100%
• Programming Languages 50%
• Communicating Systems 50%
• Type Systems 50%
• Type Inference 50%
• Multiparty Sessions 50%
• Programming Model 50%
• Parallelization 50%
• π-calculus 50%
• Concurrent Systems 50%
• Prototype Implementation 50%
• Asynchrony 50%
• Service-oriented Programming 50%
• Deadlock-free 50%
• Specification-based 50%
• Multicore 50%
• Session Mobility 50%

Computer Science

• Deadlock Freedom 100%
• Protocol Specification 100%
• Deadlock 50%
• Type Systems 50%
• Programming Language 50%
• Type Inference 50%
• Programming Model 50%
• Parallelism 50%
• Concurrent System 50%
• Multicore 50%