"This volume is the result of the City University of New York (CUNY) Phonology Forum Symposium on Architecture and Representation in Phonology that was held in Manhattan on 20-21 February 2004"--Acknowledgments.
Includes bibliographical references and index.
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.
0
The essays in this volume address foundational questions in phonology that cut across different schools of thought within the discipline.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
MIL
MIT Press
MIT Press
224072
7997
9780262255325
Contemporary views on architecture and representations in phonology.
026218270X
Grammar, Comparative and general-- Phonology-- Methodology, Congresses.
Grammar, Comparative and general-- Phonology-- Methodology.
LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Phonetics & Phonology.
Phonologie
Theorie
LAN-- 011000
414
22
P217
.
C667
2009eb
Cairns, Charles E.
Raimy, Eric.
City University of New York Phonology Forum Symposium on Architecture and Representation in Phonology(2004 :, Manhattan, New York, N.Y.)