LEADER 03542nam  2200673Ia 450 
001 9910792434103321
005 20230721015826.0
010   $a6612600926
010   $a1-282-60092-3
010   $a9786612600920
010   $a1-60750-513-4
035   $a(CKB)2670000000014156
035   $a(EBL)501438
035   $a(OCoLC)591152273
035   $a(SSID)ssj0000358081
035   $a(PQKBManifestationID)12150938
035   $a(PQKBTitleCode)TC0000358081
035   $a(PQKBWorkID)10377194
035   $a(PQKB)10360681
035   $a(MiAaPQ)EBC501438
035   $a(Au-PeEL)EBL501438
035   $a(CaPaEBR)ebr10375702
035   $a(CaONFJC)MIL260092
035   $a(EXLCZ)992670000000014156
100   $a20091211d2009      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aCommunicating process architectures 2009$b[electronic resource] $eWoTUG-32 /$fedited by Peter H. Welch ... [et al.]
210   $aAmsterdam ;$aWashington, D.C. $cIOS Press$dc2009
215   $a1 online resource (420 p.)
225 1 $aConcurrent systems engineering series,$x1383-7575 ;$vv. 67
300   $a"Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands".
311   $a1-60750-065-5 
320   $aIncludes bibliographical references and indexes.
327   $aTitle 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
327   $aNew 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
330   $aA 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.
410  0$aConcurrent systems engineering series ;$vv. 67.
606   $aComputer architecture$vCongresses
606   $aoccam (Computer program language)$vCongresses
606   $aParallel processing (Electronic computers)$vCongresses
606   $aTransputers$vCongresses
615  0$aComputer architecture
615  0$aoccam (Computer program language)
615  0$aParallel processing (Electronic computers)
615  0$aTransputers
676   $a004
701   $aWelch$b P. H$01482503
712 12$aWoTUG Technical Meeting
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910792434103321
996   $aCommunicating process architectures 2009$93818717
997   $aUNINA