Communicating process architectures 2009 [[electronic resource] ] : WoTUG-32 / / edited by Peter H. Welch ... [et al.]

• Record Nr.: UNINA9910459301303321
• Pubbl/distr/stampa: Amsterdam ; ; Washington, D.C., : IOS Press, c2009
• ISBN: 6612600926; 1-282-60092-3; 9786612600920; 1-60750-513-4
• Descrizione fisica: 1 online resource (420 p.)
• Collana: Concurrent systems engineering series, , 1383-7575 ; ; v. 67
• Altri autori (Persone): WelchP. H
• Disciplina: 004
• Soggetti: Computer architecture; occam (Computer program language); Parallel processing (Electronic computers); Transputers; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands".
• Nota di bibliografia: Includes bibliographical references and indexes.
• Nota di contenuto: 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
• Sommario/riassunto: 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.