Communicating Process Architectures 2002 :WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom
附註:Includes bibliographical references and index.
Machine derived contents note: Preface -- James Pascoe, Peter Welch, Roger Loader and Vaidy Sunderam vii -- Programme Committee viii -- Papers -- Semantics ofprialt in Handel-CM -- Andrew Butterfield and Jim Woodcock I -- Acceptances, Behaviours and Infinite Activity in CSPP -- Adrian Lawrence 17 -- HCSP: Imperative State and True Concurrency -- Adrian Lawrence 39 -- Consolidating the Agreement Problem Protocol Verification Environment -- James Pascoe and Roger Loader 57 -- On the Complexity of Buffer Allocation in Message Passing Systems -- Alex Brodsky, Jan Bcekgaard Pedersen and Alan Wagner 79 -- Java PastSet -- A Structured Distributed Shared Memory System -- Kei Simon Pedersen and Brian Vinter 97 -- Synchronous Active Objects Introduce CSP's Primitives in Java -- Claude Petitpierre 109 -- Configurable Collective Communication in LAM-MPI -- John Markus Bjorndalen, Otto J. Anshus, Brian Vinter and Tore Larsen 123 -- Cache-Affinity Scheduling for Fine Grain Multithreading -- Kurt Debattista, Kevin Vella and Joseph Cordina 135 -- A Predicate Transformer Semantics for a Concurrent Language of Refinement -- Ana Cavalcanti and Jim Woodcock 147 -- Reconnetics: A System for the Dynamic Implementation -- of Mobile Hardware Processes in FPGAs -- Ralph Moseley 167 -- Performance Analysis and Behaviour Tuning for Optimisation -- of Communicating Systems -- Mark Green and Ali E. Abdallah 181 -- Configuration Discovery and Mapping of a Home Network -- Keith Pugh 191 -- Cluster Computing and JCSP Networking -- Brian Vinter and Peter Welch 203 -- View-Centric Reasoning for Linda and Tuple Space Computation -- Marc L. Smith, Rebecca J. Parsons and Charles E. Hughes 223 -- A Graphical Modeling Language for Specifying Concurrency based on CSP -- Gerald Hilderink 255 -- The "Honeysuckle" Programming Language: Event and Process -- Ian East 285 -- The "Honeysuckle" Programming Language: Object and Protocol -- lan East 301 -- A Communicating Threads (CT) Case Study: JIWY -- Dusko J
摘要: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.
