Description
Vernon Press The Political Economy of the Space Age How Science and Technology Shape the Evolution of Human Society by Andrea Sommariva
This book provides answers to the questions of why human-kind should go into space, and on the relative roles of governments and markets in the evolution of the space economy. It adopts an interdisciplinary approach to answer those questions. Science and technology define the boundaries of what is possible. The realization of the possible depends on economic, institutional, and political factors. The book thus draws from many different academic areas such as physical science, astronomy, astronautics, political science, economics, sociology, cultural studies, and history. _x000D__x000D_In the literature, the space economy has been analyzed using different approaches from science and technology to the effects of public expenditures on economic growth and to medium term effects on productivity and growth. This book brings all these aspects together following the evolutionary theory of economic change. It studies processes that transform the economy through the interactions among diverse economic agents, governments, and the extra-systemic environment in which governments operate. Its historical part helps to better understand motivations and constraints - technical, political, and economical - that shaped the growth of the space economy. In the medium term, global issues - such as population changes, critical or limited natural resources, and environmental damages - and technological innovations are the main drivers for the evolution of the space economy beyond Earth orbit._x000D__x000D_In universities, this book can be used: as a reference by historians of astronautics; for researchers in the field of astronautics, international political economy, and legal issues related to the space economy. In think tanks and public institutions, both national and international, this book provides an input to the ongoing debate on the collaboration among space agencies and the role of private companies in the development of the space economy. Finally, this book will help the educated general public to orient himself in the forest of stimuli, news, and solicitations to which he is daily subjected by the media, television and radio, and to react in less passive ways to those stimuli._x000D_ Table of contents :- _x000D_
Generalized bisimulation metrics (Abstract).- Electronic voting: how to ensure privacy and verifiability.- A Secure Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.- Finding a Forest in a Tree.- Automata for Analyzing Service Contracts.- On duality relations for session types.- Characterizing Testing Preorders for Broadcasting Distributed Systems.- Tests for establishing security properties.- A class of automata for the verification of infinite, resource-allocating Behaviours.- Multiparty Session Nets.- Interaction and causality in digital signature exchange protocols.- Session Types with Gradual Typing.- Corecursion and Non-Divergence in Session-Typed Processes.- Trust-based Enforcement of Security Policies._x000D_