Loader, R.
Communicating Process Architectures 2002 : WoTUG-25. - 1 online resource (396 pages)
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.
9781601294098
occam (Computer program language) -- Congresses.
Telecommunication systems.
Transputers -- Congresses.
Electronic books.
TK7895.T73 -- W67 2002eb
004/.357
Communicating Process Architectures 2002 : WoTUG-25. - 1 online resource (396 pages)
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.
9781601294098
occam (Computer program language) -- Congresses.
Telecommunication systems.
Transputers -- Congresses.
Electronic books.
TK7895.T73 -- W67 2002eb
004/.357