عنوان

Communicating Process Architectures 2002 :

0585458588

1586032682

427490539X

6610505586

9780585458588

9781586032685

9784274905391

9786610505586

1586032682

427490539X

b709572

Communicating Process Architectures 2002 :

[Book]

WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /

edited by James Pascoe [and others].

Tokyo :

Ohmsha,

©2002.

1 online resource (viii, 387 pages) :

illustrations.

Concurrent systems engineering series,

v. 60

1383-7575 ;

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 Jovanovic, Gerald Hilderink, Jan Broenink 311 -- Prioritised Dynamic Communicating Processes -- Part I -- Fred Barnes and Peter Welch 321 -- Prioritised Dynamic Communicating Processes -- Part II -- Fred Barnes and Peter Welch 353 -- Implementing a Distributed Algorithm for Detection -- of Local Knots and Cycles in Directed Graphs -- Geraldo Pereira de Souza and Gerson Henrique Pfitscher 371 -- Author Index 387.

0

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.

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.

Communicating process architectures 2002.

427490539X

WoTUG-25

Computer multitasking, Congresses.

occam (Computer program language), Congresses.

Parallel processing (Electronic computers), Congresses.

Fonctionnement multitâche, Congrès.

Occam (Langage de programmation), Congrès.

Parallélisme (Informatique), Congrès.

Computer multitasking.

COMPUTERS-- Programming Languages-- C♯

COMPUTERS-- Programming Languages-- Java.

COMPUTERS-- Programming Languages-- Pascal.

occam (Computer program language)

Parallel processing (Electronic computers)

COM-- 051130

COM-- 051280

COM-- 051310

QA

Pascoe, James.

World Occam and Transputer User Group., Technical Meeting(25th :2002 :, University of Reading)

20201208002345.0

pn

[Book]

Y