LEADER 04640nam 2200733Ia 450 001 9910782442603321 005 20230721004031.0 010 $a661196861X 010 $a1-281-96861-7 010 $a9786611968618 010 $a1-4416-0157-0 010 $a600-00-1186-5 010 $a1-60750-368-9 035 $a(CKB)1000000000579211 035 $a(EBL)407920 035 $a(OCoLC)437247358 035 $a(SSID)ssj0000125684 035 $a(PQKBManifestationID)11132493 035 $a(PQKBTitleCode)TC0000125684 035 $a(PQKBWorkID)10027321 035 $a(PQKB)11160873 035 $a(MiAaPQ)EBC407920 035 $a(Au-PeEL)EBL407920 035 $a(CaPaEBR)ebr10267482 035 $a(CaONFJC)MIL196861 035 $a(EXLCZ)991000000000579211 100 $a20090126d2008 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCommunicating process architectures 2008$b[electronic resource] $eWoTUG-31 /$fedited by Peter H. Welch ... [et al.] 210 $aAmsterdam ;$aWashington, D.C. $cIOS Press$dc2008 215 $a1 online resource (472 p.) 300 $aDescription based upon print version of record. 311 $a1-58603-907-5 320 $aIncludes bibliographical references and indexes. 327 $aTitle page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C 327 $aFPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations 327 $aRepresentation and Implementation of CSP and VCR TracesCSPBuilder - CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On 327 $aIntroducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus - with Mobile Reindeer and Elves; Subject Index; Author Index 330 $aCommunicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and informat 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.35 676 $a158.1 686 $a54.31$2bcl 686 $a54.51$2bcl 701 $aWelch$b P. H$01482503 712 12$aWoTUG Technical Meeting 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782442603321 996 $aCommunicating process architectures 2008$93730011 997 $aUNINA