173,308 research outputs found
Games and Strategies as Event Structures.
In 2011, Rideau and Winskel introduced concurrent games and strategies as
event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove
that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation
Thin Games with Symmetry and Concurrent Hyland-Ong Games
We build a cartesian closed category, called Cho, based on event structures.
It allows an interpretation of higher-order stateful concurrent programs that
is refined and precise: on the one hand it is conservative with respect to
standard Hyland-Ong games when interpreting purely functional programs as
innocent strategies, while on the other hand it is much more expressive. The
interpretation of programs constructs compositionally a representation of their
execution that exhibits causal dependencies and remembers the points of
non-deterministic branching.The construction is in two stages. First, we build
a compact closed category Tcg. It is a variant of Rideau and Winskel's category
CG, with the difference that games and strategies in Tcg are equipped with
symmetry to express that certain events are essentially the same. This is
analogous to the underlying category of AJM games enriching simple games with
an equivalence relations on plays. Building on this category, we construct the
cartesian closed category Cho as having as objects the standard arenas of
Hyland-Ong games, with strategies, represented by certain events structures,
playing on games with symmetry obtained as expanded forms of these arenas.To
illustrate and give an operational light on these constructions, we interpret
(a close variant of) Idealized Parallel Algol in Cho
Strategies with Parallel Causes.
In a distributed game we imagine a team Player engaging a team Opponent in a
distributed fashion. Such games and their strategies have been formalised in
concurrent games based on event structures. However there are limitations in
founding strategies on traditional event structures. Sometimes a probabilistic
distributed strategy relies on certain benign races where, intuitively, several
members of team Player may race each other to make a common move. Although
there are event structures which support such parallel causes, in which an
event is enabled in several compatible ways, they do not support an operation
of hiding central to the composition of strategies; nor do they support
probability adequately. An extension of traditional event structures is devised
which supports parallel causes and hiding, as well as the mix of probability
and nondeterminism needed to account for probabilistic distributed strategies.
The extension is tested in the construction of a bicategory of probabilistic
distributed strategies with parallel causes. The bicategory is rich in
operations relevant to probabilistic as well as deterministic parallel
programming
Imperfect Information in Logic and Concurrent Games
Abstract. This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. An extension to concurrent games with imperfect information, through the introduction of ‘access levels ’ to restrict the allowable strategies, leads to a concurrent-game semantics for a variant of Hintikka and Sandu’s Independence-Friendly (IF) logic
The parallel intensionally fully abstract games model of PCF
International audienceWe describe a framework for truly concurrent game semantics of programming languages, based on Rideau and Winskel's concurrent games on event structures. The model supports a notion of innocent strategy that permits concurrent and non-deterministic behaviour, but which coincides with traditional Hyland-Ong innocent strategies if one restricts to the deterministic sequential case. In this framework we give an alternative interpretation of Plotkin's PCF, that takes advantage of the concurrent nature of strategies and formalizes the idea that although PCF is a sequential language, certain sub-computations are independent and can be computed in a parallel fashion. We show that just as Hyland and Ong's sequential interpretation of PCF, our parallel interpretation yields a model that is intensionally fully abstract for PCF
Planning and Leveraging Event Portfolios: Towards a Holistic Theory
This conceptual paper seeks to advance the discourse on the leveraging and legacies of events by examining the planning, management, and leveraging of event portfolios. This examination shifts the common focus from analyzing single events towards multiple events and purposes that can enable cross-leveraging among different events in pursuit of attainment and magnification of specific ends. The following frameworks are proposed: (1) event portfolio planning and leveraging, and (2) analyzing events networks and inter-organizational linkages. These frameworks are intended to provide, at this infancy stage of event portfolios research, a solid ground for building theory on the management of different types and scales of events within the context of a portfolio aimed to obtain, optimize and sustain tourism, as well as broader community benefits
Unawareness, Beliefs and Games
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawareness. We develop Bayesian games with unawareness, define equilibrium, and prove existence. We show how equilibria are extended naturally from lower to higher awareness levels and restricted from higher to lower awareness levels. We use our unawareness belief structure to show that the common prior assumption is too weak to rule out speculative trade in all states. Yet, we prove a generalized “No-trade” theorem according to which there can not be common certainty of strict preference to trade. Moreover, we show a generalization of the “No-agreeing-to-disagree” theorem
Olympic legacy and cultural tourism: Exploring the facets of Athens' Olympic heritage
This study examines the effects of the Olympic Games on Athens’ cultural tourism and the city’s potential to leverage the Olympic legacy in synergy with its rich heritage in order to enhance its tourism product during the post-Games period. In doing so, a qualitative and interpretive approach was employed. This includes a literature review on Athens’ 2004 Olympics to identify the sport facilities and regeneration projects, which constitute the Olympic legacy and heritage. Based on that, an empirical analysis was undertaken, by collecting official documents about the 2004 Olympics, and conducting five semi-structured interviews with tourism/administrative officials. The findings indicate that the Olympiad contributed significantly to Athens’ built and human heritage, revealing the dimensions of new venues/facilities, infrastructure, transportation and aesthetic image of the city, and human capital enhancement. Hence, the Games affected to the multifaceted representation and reconstruction of the city’s identity and cultural heritage. However, the potential afforded from the post-Olympic Athens remains unrealised due to lack of strategic planning/management. The study concludes that there is a need to develop cross-leveraging synergies between the Olympic legacy and cultural tourism for the host city. Finally, a strategic planning framework for leveraging post-Games Olympic tourism is suggested in order to maximise the benefits of Olympic legacy and heritage in a host city’s tourism development
- …