Communicating Process Architectures 2002 : WoTUG-25.
Material type: TextPublisher: Amsterdam : IOS Press, 2002Copyright date: ©2002Description: 1 online resource (396 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9781601294098Subject(s): occam (Computer program language) -- Congresses | Telecommunication systems | Transputers -- CongressesGenre/Form: Electronic books.Additional physical formats: Print version:: Communicating Process Architectures 2002 : WoTUG-25DDC classification: 004/.357 LOC classification: TK7895.T73 -- W67 2002ebOnline resources: Click to ViewCover -- 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, 2018. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
There are no comments on this title.