Cargando…

Contemporary views on architecture and representations in phonology /

The essays in this volume address foundational questions in phonology that cut across different schools of thought within the discipline.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: City University of New York Phonology Forum Symposium on Architecture and Representation in Phonology
Otros Autores: Raimy, Eric, Cairns, Charles E.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, ©2009.
Colección:Current studies in linguistics series ; 48.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Beyond Mobility: What Next After CSP/pi?
  • The SCOOP Concurrency Model in Java-Like Languages
  • Combining Partial Order Reduction with Bounded Model Checking
  • On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication
  • Analysing gCSP Models Using Runtime and Model Analysis Algorithms
  • Relating and Visualising CSP, VCR and Structural Traces
  • Designing a Mathematically Verified I2C Device Driver Using ASD
  • Mobile Escape Analysis for occam-pi
  • New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler)
  • Translating ETC to LLVM Assembly
  • Resumable Java Bytecode. Process Mobility for the JVM
  • OpenComRTOS: A Runtime Environment for Interacting Entities
  • Economics of Cloud Computing: A Statistical Genetics Case Study
  • An Application of CoSMoS Design Methods to Pedestrian Simulation
  • An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures
  • Auto-Mobiles: Optimised Message-Passing
  • A Denotational Study of Mobility
  • PyCSP Revisited
  • Three Unique Implementations of Processes for PyCSP
  • CSP as a Domain-Specific Language Embedded in Python and Jython
  • Hydra: A Python Framework for Parallel Computing
  • Extending CSP with Tests for Availability
  • Design Patterns for Communicating Systems with Deadline Propagation
  • JCSP Agents-Based Service Discovery for Pervasive Computing
  • Toward Process Architectures for Behavioural Robotics
  • HW/SW Design Space Exploration on the Production Cell Setup
  • Engineering Emergence: An occam-fl̂ Adventure.