Document Type
|
:
|
BL
|
Record Number
|
:
|
955202
|
Doc. No
|
:
|
b709572
|
Main Entry
|
:
|
World Occam and Transputer User Group., Technical Meeting(25th :2002 :, University of Reading)
|
Title & Author
|
:
|
Communicating Process Architectures 2002 : : WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /\ edited by James Pascoe [and others].
|
Publication Statement
|
:
|
Amsterdam ;Washington, DC :: IOS ;Tokyo :: Ohmsha,, ©2002.
|
Series Statement
|
:
|
Concurrent systems engineering series,; v. 60
|
Page. NO
|
:
|
1 online resource (viii, 387 pages) :: illustrations.
|
ISBN
|
:
|
0585458588
|
|
:
|
: 1586032682
|
|
:
|
: 427490539X
|
|
:
|
: 6610505586
|
|
:
|
: 9780585458588
|
|
:
|
: 9781586032685
|
|
:
|
: 9784274905391
|
|
:
|
: 9786610505586
|
|
:
|
1586032682
|
|
:
|
427490539X
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
Contents
|
:
|
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.
|
Abstract
|
:
|
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.
|
Subject
|
:
|
Computer multitasking, Congresses.
|
Subject
|
:
|
occam (Computer program language), Congresses.
|
Subject
|
:
|
Parallel processing (Electronic computers), Congresses.
|
Subject
|
:
|
Fonctionnement multitâche, Congrès.
|
Subject
|
:
|
Occam (Langage de programmation), Congrès.
|
Subject
|
:
|
Parallélisme (Informatique), Congrès.
|
Subject
|
:
|
Computer multitasking.
|
Subject
|
:
|
COMPUTERS-- Programming Languages-- C♯
|
Subject
|
:
|
COMPUTERS-- Programming Languages-- Java.
|
Subject
|
:
|
COMPUTERS-- Programming Languages-- Pascal.
|
Subject
|
:
|
occam (Computer program language)
|
Subject
|
:
|
Parallel processing (Electronic computers)
|
Dewey Classification
|
:
|
005.13/3
|
LC Classification
|
:
|
QA76.73.O2W67 2002eb
|
Added Entry
|
:
|
Pascoe, James.
|
Parallel Title
|
:
|
WoTUG-25
|