Physical and digital books, media, journals, archives, and databases.
Results include
  1. Chu spaces: a model of concurrency

    Gupta, Vineet
    1994.

    Online Search ProQuest Dissertations & Theses. Not all titles available.

  2. A Transnational Encounter of Cosmopolitan Fantasies: Directing The World of Extreme Happiness at Stanford University

    Gupta, Vineet
    May 2018

    This dramaturgical thesis interrogates the transnational dimension of staging Frances Ya-Chu Cowhig's play 'The World of Extreme Happiness,' a play about a factory girl in Shenzhen China, at Stanford University, an elite neoliberal university down the road from Silicon Valley. Specifically, we argue that, as Western cosmopolitan subjects, the audience encounter with the play is that of cultural consumption, projecting a fantasized timeline of modernity onto the protagonist's journey, with her rural home seen as 'backwards' and 'local' and the Western city as 'progressive' and 'cosmopolitan.' Consequently, this thesis examines how a production of this play can disrupt such an imagination by invoking the ways the protagonist is 'modern' and cosmopolitan, while still confronting the transnational power dynamics present in the relationship between audience and protagonist. We propose theatrical devices, particularly in and around 'gazing,' to performatively subvert these imagined global hierarchies among a Western cosmopolitan audience.

  3. Chu spaces: a model for concurrency

    August 1994.

    A Chu space is a binary relation between two sets. In this thesis we show that Chu spaces form a non-interleaving model of concurrency which extends event structures while endowing them with an algebraic structure whose natural logic is linear logic.We provide several equivalent definitions of Chu spaces, including two pictorial representations. Chu spaces represent processes as automata or schedules, and Chu duality gives a simple way of converting between schedules and automata. We show that Chu spaces can represent various concurrency concepts like conflict, temporal precedence and internal and external choice, and they distinguish between causing and enabling events.We present a process algebra for Chu spaces including the standard combinators like parallel composition, sequential composition, choice, interaction, restriction, and show that the various operational identities between these hold for Chu spaces. The solution of recursive domain equations is possible for most of these operations, giving us an expressive specification and programming language. We define a history preserving equivalence between Chu spaces, and show that it preserves the causal structure of a process.

Guides

Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search

Exhibits

Digital showcases for research and teaching.
No exhibits results found... Try a different search

EarthWorks

Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.