From Dynamic Condition Response Structures to Büchi Automata

Keyphrases

• Acceptance Conditions 50%
• Automata 100%
• Automatic Verification 50%
• Causality Relationship 50%
• Conflict Relation 50%
• Declarative Processes 50%
• Distributed Dynamics 50%
• Dynamic Inclusion 50%
• Event Sets 50%
• Event Structure 100%
• Infinite Behavior 50%
• Response Relationship 50%

Computer Science

• Automaton 100%
• Event Structure 100%
• Process Model 50%

Biochemistry, Genetics and Molecular Biology

• Process Model 100%