Turkish Delight – Does Turkey’s accession to the EU bring economic benefits?

We explore the economic implications of the possible Turkish accession to the European Union. We focus on three main changes associated with Turkish membership: (i) accession to the internal European Market; (ii) institutional reforms in Turkey triggered by EU-membership; and (iii) migration in response to the free movement of workers. Overall, the macroeconomic implications for EU countries are small but positive. European exports increase by around 20 percent. Turkey experiences larger economic gains than the EU: consumption per capita is estimated to rise by about 4 percent as a result of accession to the internal market and free movement of labour. If Turkey would succeed in reforming its domestic institutions in response to EU-membership, consumption per capita in Turkey could raise by an additional 9 percent. These benefits would spill over to the EU.Turkey, regional economic integration, general equilibrium model, gravity equations, institutional reform, migration

EU enlargement: economic implications for countries and industries

This paper explores the economic consequences of the enlargement of the European Union with countries from Central and Eastern Europe. We focus on integration aspects that go beyond the reduction of formal trade barriers, namely accession to the internal market and free movement of labour. The economic implications for sixteen industries in several European countries are assessed by using WorldScan, a CGE model for the world economy. The results suggest that the candidate member states will gain substantially from accession to the internal market, although some sectors in these countries will shrink. Most EU countries will experience small welfare increases. We also find that the internal market effects are large compared to the economic effects of removing formal trade barriers and migration.

Assessing the economic implications of Turkish accession to the EU

We explore the economic implications of Turkish accession to the European Union. We focus on three main changes associated with Turkish membership: (i) accession to the internal European Market; (ii) institutional reforms in Turkey triggered by EU-membership; and (iii) migration in response to the free movement of workers. Overall, the macroeconomic implications for EU countries are small but positive, through cheaper imports and the benefits from trade creation. Dutch exports increase by around 20% (550 million euro). Turkey experiences larger economic gains than the EU: consumption per capita is estimated to rise by about 4% as a result of accession to the internal market and free movement of labour. If Turkey would succeed in reforming its domestic institutions in response to EU-membership, economic growth in Turkey could increase more. In particular, tentative estimates suggest that consumption per capita in Turkey could rise by an additional 9%. These benefits would spill over to the EU. For instance, Dutch exports to Turkey would rise by another 1.8 billion euro and income by 500 million euro.

Streamlining Progress-Based Derivations of Concurrent Programs

The logic of Owicki and Gries is a well known logic for verifying safety properties of concurrent programs. Using this logic, Feijen and van Gasteren describe a method for deriving concurrent programs based on safety. In this work, we explore derivation techniques of concurrent programs using progress-based reasoning. We use a framework that combines the safety logic of Owicki and Gries, and the progress logic of UNITY. Our contributions improve the applicability of our earlier techniques by reducing the calculational overhead in the formal proofs and derivations. To demonstrate the effectiveness of our techniques, a derivation of Dekker's mutual exclusion algorithm is presented. This derivation leads to the discovery of some new and simpler variations of this famous algorithm

Relating fair testing and accordance for service replaceability

AbstractThe accordance pre-order describes whether a service can safely be replaced by another service. That is, all partners for the original service should be partners for the new service. Partners for a service interact with the service in such a way that always a certain common goal can be reached.We relate the accordance pre-order to the pre-orders known from the linear–branching time spectrum, notably fair testing. The differences between accordance and fair testing include the modeling of termination and success, and the parts of the services that cannot be used reliably by any partner. Apart from the theoretical results, we address the practical relevance of the introduced concepts

De vruchten van de uitbreiding

De scepsis over een mogelijk overhaaste uitbreiding neemt toe. Welke effecten op consumptie en handel mogen worden verwacht

Obtaining insights into the interplay between systems and software engineering

The high-tech equipment industry is adopting approaches like Model-Based Systems Engineering (MBSE) and Scaled Agile Framework (SAFe) to improve their practices. Instantiations of these approaches do not necessarily align across disciplines. Given the importance of software aspects in systems, the interplay between software and other engineering disciplines should be carefully addressed. Decision makers are interested in mitigating any risks in the collaboration of specialists in different disciplines. This short positioning paper proposes an applied research approach to identify such risks for later mitigation. The approach is inspired by grounded theory (we constructed concepts from interviews) and systems thinking. Work still to do is to cross-check identified concepts with literature. This research is in progress and we welcome discussions and critical opinions

Under consideration for publication in Formal Aspects of Computing Streamlining progress-based derivations of concurrent programs

Abstract. The logic of Owicki and Gries is a well known logic for verifying safety properties of concurrent programs. Using this logic, Feijen and van Gasteren describe a method for deriving concurrent programs based on safety. In this work, we explore derivation techniques of concurrent programs using progress-based reasoning. We use a framework that combines the safety logic of Owicki and Gries, and the progress logic of UNITY. Our contributions improve the applicability of our earlier techniques by reducing the calculational overhead in the formal proofs and derivations. To demonstrate the effectiveness of our techniques, a derivation of Dekker’s mutual exclusion algorithm is presented. This derivation leads to the discovery of some new and simpler variations of this famous algorithm

A formal analysis of a dynamic distributed spanning tree algorithm

Abstract. We analyze the spanning tree algorithm in the IEEE 1394.1 draft standard, which correctness has not previously been proved. This algorithm is a fully-dynamic distributed graph algorithm, which, in general, is hard to develop. The approach we use is to formally develop an algorithm that is almost equivalent to it: First, based on a formal specification and an abstraction of the network, we systematically construct an algorithm including its correctness proof. Afterwards we implement this algorithm in terms of IEEE 1394 devices under maintenance of its correctness.