: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
Results diversiļ¬cation is an approach used in literature to cover the possible interpretations of the results produced by query evaluation. For diversifying search results we pr...
Identification in the limit, originally due to Gold [10], is a widely used computation model for inductive inference and human language acquisition. We consider a nonconstructive ...
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: