On the expressiveness and efficiency of guarded lists in Bach

Keyphrases

• Data-centric 100%
• Coordination Languages 100%
• Expressiveness 100%
• Logic Formulas 50%
• Program Transformation 50%
• Shared Space 50%
• Synchronization Algorithm 50%
• State Space Explosion 50%
• Concurrency 50%
• Process Algebra 50%
• Synchronous Process 50%
• Performance Issues 50%
• Means of Information 50%
• Concurrency Theory 50%
• Asynchronously 50%
• Program Correctness 50%

INIS

• space 100%
• efficiency 100%
• data 100%
• performance 100%
• calculation methods 100%
• solutions 50%
• interactions 50%
• information 50%
• increasing 50%
• transformations 50%
• speed 50%
• algebra 50%
• explosions 50%

Computer Science

• Concurrency 100%
• Model Checking 50%
• Program Transformation 50%
• State Space 50%
• Performance Issue 50%
• Process Algebra 50%