This paper contains several results regarding the communication complexity model and the 2-prover games model, which are based on interaction between the two models:
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...