1 option
Communicating process architectures 2009 : WoTUG-32 / edited by Peter H. Welch ... [et al.].
- Format:
- Book
- Conference/Event
- Author/Creator:
- WoTUG Technical Meeting, Corporate Author.
- Conference Name:
- WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, The Netherlands)
- WoTUG Technical Meeting
- Series:
- Concurrent systems engineering series ; v. 67.
- Concurrent systems engineering series, 1383-7575 ; v. 67
- Language:
- English
- Subjects (All):
- Computer architecture--Congresses.
- Computer architecture.
- occam (Computer program language)--Congresses.
- occam (Computer program language).
- Parallel processing (Electronic computers)--Congresses.
- Parallel processing (Electronic computers).
- Transputers--Congresses.
- Transputers.
- Physical Description:
- 1 online resource (420 p.)
- Edition:
- 1st ed.
- Other Title:
- WoTUG-32
- Place of Publication:
- Amsterdam ; Washington, D.C. : IOS Press, c2009.
- Language Note:
- English
- Summary:
- A collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009.
- Contents:
- Title page; Preface; Editorial Board; Reviewing Committee; Contents; 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
- Notes:
- "Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands".
- Includes bibliographical references and indexes.
- ISBN:
- 6612600926
- 1-282-60092-3
- 9786612600920
- 1-60750-513-4
- OCLC:
- 591152273
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.