Model-checking trace event structures

Keyphrases

• Event Structure 100%
• Trace Events 100%
• First-order Logic 50%
• Monadic Second-order Logic 50%
• Effective Model 16%
• Temporal Logic 16%
• Concurrency 16%
• Conflict Information 16%
• Undecidable 16%
• Concurrent Systems 16%
• Conflict-free 16%
• Finite State 16%
• Branching-time Properties 16%
• CTL* 16%
• Infinite Structures 16%
• Mazurkiewicz Traces 16%

Computer Science

• Model Checking 100%
• Event Structure 100%
• Second-Order Logic 50%
• Temporal Logic 16%
• Information Present 16%
• Concurrency 16%
• Concurrent System 16%
• Branching Time 16%