03723nam 2200673Ia 450 991045556900332120200520144314.01-60129-409-3600-00-0365-X97866105055861-280-50558-3(CKB)111087027617414(EBL)267479(OCoLC)171570227(SSID)ssj0000125680(PQKBManifestationID)11141339(PQKBTitleCode)TC0000125680(PQKBWorkID)10030959(PQKB)10803816(MiAaPQ)EBC267479(Au-PeEL)EBL267479(CaPaEBR)ebr10116468(CaONFJC)MIL50558(OCoLC)936834615(EXLCZ)9911108702761741420020807d2002 uy 0engur|n|---|||||txtccrCommunicating process architectures 2002[electronic resource] WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /edited by James Pascoe ... [et al.]Amsterdam ;Washington, DC IOS Pressc20021 online resource (396 p.)Concurrent systems engineering series,1383-7575 ;v. 60Description based upon print version of record.1-58603-268-2 0-585-45858-8 Includes bibliographical references and index.""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""""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""The 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.Concurrent systems engineering series ;v. 60.TransputersCongressesoccam (Computer program language)CongressesTelecommunication systemsElectronic books.Transputersoccam (Computer program language)Telecommunication systems.004/.357Pascoe James(James S.)933087MiAaPQMiAaPQMiAaPQBOOK9910455569003321Communicating process architectures 20022100195UNINA