On convergence of concurrent systems under regular interactions

Keyphrases

• Distributed Systems 100%
• Concurrent Systems 100%
• Physical Processes 50%
• Models of Computation 50%
• Node Failure 50%
• Asynchronous Model 50%
• Communication Topology 50%
• Asymptotic Stability 50%
• Infinite Sequences 50%
• Operator State 50%
• Liveness Properties 50%
• Omega-regular Languages 50%
• Sequence of Operators 50%
• State Transition Function 50%
• Consensus Protocol 50%

Computer Science

• Distributed Systems 100%
• Sufficient Condition 100%
• Concurrent System 100%
• Model of Computation 50%
• Asymptotic Stability 50%
• Regular Language 50%
• Infinite Sequence 50%
• Liveness Property 50%
• Consensus Protocol 50%
• State Transition Function 50%

Mathematics

• Necessary and Sufficient Condition 100%
• Distributed Systems 100%
• Model of Computation 50%
• State Transition 50%
• Asymptotic Stability 50%
• Proving Convergence 50%
• Infinite Sequence 50%
• Transition Function 50%