Weakest Congruences, Fairness and Compositional Process-Algebraic Verification

Keyphrases

• Compositional Process 100%
• Concurrent Systems 100%
• Weak Equivalence 100%
• Compositionality 100%
• Reactive Systems 100%
• Concurrency 66%
• Reactiveness 66%
• Large Systems 33%
• Mathematical Model 33%
• System Components 33%
• Error-prone 33%
• Embedded Systems 33%
• Communication Protocol 33%
• Computer System 33%
• Operating System 33%
• One-component 33%
• Mobile Communication 33%
• Small Components 33%
• Event Sequences 33%
• Computer Program 33%
• Process Algebra 33%
• Progress Properties 33%
• Communication Patterns 33%
• Deadlock 33%
• Computer Tools 33%
• Livelock 33%
• Simultaneous Communication 33%
• Complex Communication 33%
• Algebraic Model 33%
• Individual Choice 33%
• Common Action 33%
• Interacting Components 33%
• Simple Component 33%
• Atomic Units 33%
• Reactive Behavior 33%
• Behavioral Equivalence 33%
• Overall System 33%
• Systems Embedded 33%
• Computer Network Communication 33%
• External Behavior 33%

Computer Science

• Concurrent System 100%
• Reactive System 100%
• Concurrency 66%
• Invariant 66%
• Case Study 33%
• Computer Network 33%
• Communication Protocol 33%
• Computer System 33%
• Mathematical Modeling 33%
• Process Algebra 33%
• Deadlock 33%
• Reactive Behavior 33%
• Executing Action 33%
• Operating System 33%
• Embedded System 33%