The paper argues that in poorer regions, Economic Partnership Agreements (EPAs) are characterized by intrinsic discrepancies between ex ante objectives and ex post outcomes, and are confronted with a series of features and constraints that prevent the achievement of their goals.

This paper addresses the key question of whether informal institutions like the G20 states are likely to provide genuine mechanisms for the resolution of inadequacies in the provision of global public goods as well as instruments to face systemic crises.

This paper explores which factors may promote or inhibit the empowerment of international parliamentary institutions (IPIs). It mainly explores the formal and actual powers of IPIs (consultative, budgetary, oversight and co-legislative) to analyse whether and how they develop over time.

This paper discusses some of the issues of legitimacy and inequalities perceived to be pervasive in the governance structure of the World Bank, and explores proposals on how to improve such perceived inequalities.

This paper presents responses that were used by 14 global, regional and sub-regional development banks following the financial crisis, juxtaposing the approaches of the regional banks with those of the World Bank.

This paper presents the recent economic trajectory of Sudan within the context of intersecting regionalism in the North-Eastern part of Africa. It highlights some of the economic challenges the country has experienced, and advances a case for greater diversification of the country’s economy away from oil-based exports.

This paper explores the direction of the debate within the United Nations on the nature of UN–regional organisational cooperation in the post-cold war security environment and its future implications.

Reasoning about a distributed system that exhibits a combination of probabilistic and temporal behaviour does not seem to be easy with current techniques. The reason is the interaction between probability and abstraction, made worse by remote synchronisation. In this paper the recently proposed language ptsc (for probability, time and shared-variable concurrency) is extended by constructs »

In component-based design, a component interface specification describes the guaranteed order in which the provided methods of the component are called and the assumption about the order in which the component calls methods it requires. Automata-based formalism is widely used for interface specification and compatibility checking of components. We extend this idea by introducing reactive »

Graph transformation techniques, and the Double-Pushout (DPO) approach in particular, have been successfully applied in the modeling of concurrent systems. In this area, a research thread has addressed the definition of concurrent semantics for process calculi. In this report, we provide a theory of graph transformations for service programming with sessions and pipelines. The theory »

This compendium consists of the papers presented at the TTSS’10 workshop for the convenience of the workshop participants.

The effectiveness of partial order reduction depends on the accuracy of independence and causality relations between transitions of a system. Given a concurrent system that uses synchronous communication, some of the dependency information is of local nature, whereas the rest of the information is non-local and dynamic. Accurate analysis of dependencies in a fully global »

In this paper we propose a new partial order reduction method that preserves deadlocks, and is strictly weaker than any other known method. We prove that all terminating states of the original state graph remain reachable in the reduced version. We give an example of a situation, where the method provides more reduction than established »

In prime event structures with binary conflicts a branching cell is a subset of events closed under downward causality and immediate conflict relations. This means that no event inside the branching cell can be in conflict with any outside event, and no outside event can enable any inside event. It bears a strong resemblance to »

This volume includes abstracts of the two invited contributions and full papers of the eleven peer-reviewed contributions presented at OpenCert 2010.