Communicating Process Architectures 2002 : WoTUG-25.Publisher: Amsterdam : IOS Press, 2002Copyright date: ©2002Description: 1 online resource (396 pages)Content type:
- online resource
- TK7895.T73 -- W67 2002eb
|Item type||Current library||Call number||Status||Date due||Barcode||Item holds|
Cover -- Title page -- Contents -- Preface -- Programme Committee -- Papers -- Semantics of prialt in Handel-C™ -- Acceptances, Behaviours and Infinite Activity in CSPP -- HCSP: Imperative State and True Concurrency -- Consolidating the Agreement Problem Protocol Verification Environment -- On the Complexity of Buffer Allocation in Message Passing Systems -- Java PastSet - A Structured Distributed Shared Memory System -- Synchronous Active Objects Introduce CSP's Primitives in Java -- Configurable Collective Communication in LAM-MPI -- 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.
This work discusses a range of issues fundamental to the future of concurrency. It combines papers from researchers and practitioners. Topics include theory, such a development to Hoare's Communicating Sequential Processes, and hardware and real-time systems.
Description based on publisher supplied metadata and other sources.
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.