Amazon cover image
Image from Amazon.com

Communicating Process Architectures 2002 : WoTUG-25.

By: Contributor(s): Publisher: Amsterdam : IOS Press, 2002Copyright date: ©2002Description: 1 online resource (396 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781601294098
Subject(s): Genre/Form: Additional physical formats: Print version:: Communicating Process Architectures 2002 : WoTUG-25DDC classification:
  • 004/.357
LOC classification:
  • TK7895.T73 -- W67 2002eb
Online resources:
Contents:
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.
Summary: 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.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Ebrary Ebrary Afghanistan Available EBKAF00012030
Ebrary Ebrary Algeria Available
Ebrary Ebrary Cyprus Available
Ebrary Ebrary Egypt Available
Ebrary Ebrary Libya Available
Ebrary Ebrary Morocco Available
Ebrary Ebrary Nepal Available EBKNP00012030
Ebrary Ebrary Sudan Available
Ebrary Ebrary Tunisia Available
Total holds: 0

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.

There are no comments on this title.

to post a comment.