Specification and verification of concurrent systems by causality and realizability

Keyphrases

• Timing Model 100%
• Concurrent Systems 100%
• Calculus 66%
• Denotational Semantics 66%
• Operational Semantics 66%
• Fixpoint 33%
• Law 33%
• Recursion 33%
• Real-time Property 33%
• Real-time Systems 33%
• Feedback Loop 33%
• Interface Definition 33%
• Interactive Systems 33%
• Feedback Communication 33%
• Moore Machine 33%
• Channel Shape 33%
• Strong Causality 33%
• Interface Verification 33%
• Logical Theory 33%
• Relatively Complete 33%

Computer Science

• Denotational Semantics 100%
• Operational Semantics 100%
• Concurrent System 100%
• Real Time Systems 50%
• Feedback Loop 50%
• Interactive System 50%
• Moore Machine 50%
• Interface Specification 50%