Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems

Luca de Alfaro, Mariƫlle Stoelinga. Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. Electronic Notes in Theoretical Computer Science, 97:3-23, 2004. [doi]

Abstract

Abstract is missing.