Concurrent program schemes and their logics

Keyphrases

• Concurrent Programs 100%
• Program Schemes 100%
• First-order 50%
• Logic-based 50%
• Boolean Variables 50%
• Regular Expressions 50%
• Axiomatization 50%
• Dynamic Logic 50%
• Structure Scheme 50%

Computer Science

• Concurrent Program 100%
• Regular Expression 50%
• Boolean Variable 50%
• Axiomatization 50%