LEADER 04604nam 2200769Ia 450 001 9910784143503321 005 20230617005738.0 010 $a1-280-50507-9 010 $a9786610505074 010 $a1-4237-9735-3 010 $a1-60750-144-9 010 $a600-00-0366-8 010 $a1-60129-124-8 024 3 $z9781586035617 035 $a(CKB)1000000000340205 035 $a(EBL)265963 035 $a(OCoLC)299570427 035 $a(SSID)ssj0000125681 035 $a(PQKBManifestationID)11132492 035 $a(PQKBTitleCode)TC0000125681 035 $a(PQKBWorkID)10029680 035 $a(PQKB)10991695 035 $a(MiAaPQ)EBC265963 035 $a(Au-PeEL)EBL265963 035 $a(CaPaEBR)ebr10130990 035 $a(CaONFJC)MIL50507 035 $a(OCoLC)488381730 035 $a(EXLCZ)991000000000340205 100 $a20050810d2005 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCommunicating process architectures 2005$b[electronic resource] $eWoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands /$fed. by Jan F. Broenink ... [et al.] 210 $aAmsterdam ;$aWashington, D.C. $cIOS Press$dc2005 215 $a1 online resource (416 p.) 225 1 $aConcurrent systems engineering series,$x1383-7575 ;$vv. 63 300 $aDescription based upon print version of record. 311 $a1-58603-561-4 320 $aIncludes bibliographical references and index. 327 $aTitle page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams 327 $aImproving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog 327 $aMobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) 327 $aIf Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index 330 $aModern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications. 410 0$aConcurrent systems engineering series ;$vv. 63. 606 $aParallel processing (Electronic computers)$vCongresses 606 $aoccam (Computer program language)$vCongresses 606 $aTransputers$vCongresses 606 $aComputer architecture$vCongresses 615 0$aParallel processing (Electronic computers) 615 0$aoccam (Computer program language) 615 0$aTransputers 615 0$aComputer architecture 676 $a004.35 686 $a54.31$2bcl 686 $a54.51$2bcl 701 $aBroenink$b Jan F$01514190 712 12$aWoTUG Technical Meeting 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910784143503321 996 $aCommunicating process architectures 2005$93749150 997 $aUNINA