LEADER 03690nam  2200661Ia 450 
001 9910780247803321
005 20230607214115.0
010   $a1-60129-409-3
010   $a600-00-0365-X
010   $a9786610505586
010   $a1-280-50558-3
035   $a(CKB)111087027617414
035   $a(EBL)267479
035   $a(OCoLC)171570227
035   $a(SSID)ssj0000125680
035   $a(PQKBManifestationID)11141339
035   $a(PQKBTitleCode)TC0000125680
035   $a(PQKBWorkID)10030959
035   $a(PQKB)10803816
035   $a(MiAaPQ)EBC267479
035   $a(Au-PeEL)EBL267479
035   $a(CaPaEBR)ebr10116468
035   $a(CaONFJC)MIL50558
035   $a(OCoLC)936834615
035   $a(EXLCZ)99111087027617414
100   $a20020807d2002      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aCommunicating process architectures 2002$b[electronic resource] $eWoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /$fedited by James Pascoe ... [et al.]
210   $aAmsterdam ;$aWashington, DC $cIOS Press$dc2002
215   $a1 online resource (396 p.)
225 1 $aConcurrent systems engineering series,$x1383-7575 ;$vv. 60
300   $aDescription based upon print version of record.
311   $a1-58603-268-2 
311   $a0-585-45858-8 
320   $aIncludes bibliographical references and index.
327   $a""Cache-Affinity Scheduling for Fine Grain Multithreading""""A Predicate Transformer Semantics for a Concurrent Language of Refinement""; ""Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs""; ""Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems""; ""Configuration Discovery and Mapping of a Home Network""; ""Cluster Computing and JCSP Networking""; ""View-Centric Reasoning for Linda and Tuple Space Computation""; ""A Graphical Modeling Language for Specifying Concurrency based on CSP""
327   $a""The ""Honeysuckle"" Programming Language: Event and Process""""The ""Honeysuckle"" Programming Language: Object and Protocol""; ""A Communicating Threads (CT) Case Study: JIWY""; ""Prioritised Dynamic Communicating Processes - Part I""; ""Prioritised Dynamic Communicating Processes - Part II""; ""Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs""; ""Author Index""
330   $aThe WoTUG series of conferences are a major forum for the presentation of state-of-the-art ideas on concurrency and communication. This book continues this trend, with these proceedings containing a number of papers that discuss a wide range of issues fundamental to the future of concurrency.<p/>This book combines papers from researchers and practitioners from many disciplines. Topics covered include: theory, such as development to Hoare's Communicating Sequential Processes; hardware and real-time systems; software architecture and design; and applications.
410  0$aConcurrent systems engineering series ;$vv. 60.
606   $aTransputers$vCongresses
606   $aoccam (Computer program language)$vCongresses
606   $aTelecommunication systems
615  0$aTransputers
615  0$aoccam (Computer program language)
615  0$aTelecommunication systems.
676   $a004/.357
701   $aPascoe$b James$g(James S.)$01548287
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910780247803321
996   $aCommunicating process architectures 2002$93805206
997   $aUNINA