Adding Partial Orders to Linear Temporal Logic

Keyphrases

• Partial Order 100%
• Linear Temporal Logic 100%
• Execution Sequence 60%
• Proof System 40%
• Ordering Property 40%
• Temporal Logic 20%
• Transition Program 20%
• Concurrent Programs 20%
• Model Verification 20%
• Global State 20%
• Concurrent Systems 20%
• Consistent Global State 20%
• Linear Sequence 20%
• Complete Proof System 20%
• Relatively Complete 20%

Computer Science

• Partial Order 100%
• Linear Temporal Logic 100%
• Proof System 60%
• Execution Sequence 60%
• Temporal Logic 20%
• Concurrent Program 20%
• Concurrent System 20%