03575nam 2200685Ia 450 991045930130332120200520144314.066126009261-282-60092-397866126009201-60750-513-4(CKB)2670000000014156(EBL)501438(OCoLC)591152273(SSID)ssj0000358081(PQKBManifestationID)12150938(PQKBTitleCode)TC0000358081(PQKBWorkID)10377194(PQKB)10360681(MiAaPQ)EBC501438(Au-PeEL)EBL501438(CaPaEBR)ebr10375702(CaONFJC)MIL260092(EXLCZ)99267000000001415620091211d2009 uy 0engur|n|---|||||txtccrCommunicating process architectures 2009[electronic resource] WoTUG-32 /edited by Peter H. Welch ... [et al.]Amsterdam ;Washington, D.C. IOS Pressc20091 online resource (420 p.)Concurrent systems engineering series,1383-7575 ;v. 67"Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands".1-60750-065-5 Includes bibliographical references and indexes.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-piNew 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 RevisitedA 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.Concurrent systems engineering series ;v. 67.Computer architectureCongressesoccam (Computer program language)CongressesParallel processing (Electronic computers)CongressesTransputersCongressesElectronic books.Computer architectureoccam (Computer program language)Parallel processing (Electronic computers)Transputers004Welch P. H922946WoTUG Technical MeetingMiAaPQMiAaPQMiAaPQBOOK9910459301303321Communicating process architectures 20092261412UNINA