Branching bisimulation games.

Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i.e., when both are not related by branching bisimilarity [with explicit divergence], pinpointing the root causes can be challenging. In this paper, we provide characterisations of branching bisimilarity [with explicit divergence] as games between Spoiler and Duplicator, offering an operational understanding of both relations. Moreover, we show how such games can be used to assist in diagnosing non-conformance between implementation and specification.

Interaction and cooperative effort among scientific societies. Twelve years of COSCE

The evolution of knowledge and technology in recent decades has brought profound changes in science policy, not only in the countries but also in the supranational organizations. It has been necessary, therefore, to adapt the scientific institutions to new models in order to achieve a greater and better communication between them and the political counterparts responsible for defining the general framework of relations between science and society. The Federationon of Scientific Societies of Spain (COSCE, Confederación de Sociedades Científicas de España) was founded in October 2003 to respond to the urgent need to interact with the political institutions and foster a better orientation in the process of making decisions about the science policy. Currently COSCE consists of over 70 Spanish scientific societies and more than 40,000 scientists. During its twelve years of active life, COSCE has developed an intense work of awareness of the real situation of science in Spain by launching several initiatives (some of which have joined other organizations) or by joining initiatives proposed from other groups related to science both at the Spanish level and at the European and non-European scenarios.