A Game-Theoretic Model for Distributed Programming by Contract

Computer Science

• Theoretic Model 100%
• Distributed Programming 100%
• Distributed Environment 100%
• Theoretic Formulation 50%
• Interaction Process 50%
• Model Decomposition 50%
• Adversarial Model 50%
• Classical Programming 50%

Keyphrases

• Programming by Contract 100%
• Distributed Programming 100%
• Distributed Environment 66%
• Adversarial Model 33%
• System Integration 33%
• Compositional Reasoning 33%
• Process Interaction 33%
• Decomposition Model 33%