A Logical Interpretation of Asynchronous Multiparty Compatibility

Keyphrases

• Session Types 100%
• Logical Interpretation 100%
• Linear Logic 100%
• Deadlock 50%
• Type Systems 50%
• Middleware 50%
• Concurrent Systems 50%
• Communicating Processes 50%
• Asynchronously 50%
• Process Networks 50%
• Compatible Sets 50%
• Propositions-as-types 50%
• Compatible Process 50%

Computer Science

• Deadlock 100%
• Syntactics 100%
• Concurrent System 100%
• Communicating Process 100%