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].
Material type: TextSeries: Concurrent systems engineering series ; v. 60.Publication details: Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, ©2002.Description: 1 online resource (viii, 387 pages) : illustrationsContent type:- text
- computer
- online resource
- 0585458588
- 9780585458588
- 9781586032685
- 1586032682
- 9784274905391
- 427490539X
- 6610505586
- 9786610505586
- WoTUG-25
- occam (Computer program language) -- Congresses
- Parallel processing (Electronic computers) -- Congresses
- Computer multitasking -- Congresses
- Occam (Langage de programmation) -- Congrès
- Parallélisme (Informatique) -- Congrès
- Fonctionnement multitâche -- Congrès
- COMPUTERS -- Programming Languages -- C♯
- COMPUTERS -- Programming Languages -- Java
- COMPUTERS -- Programming Languages -- Pascal
- Computer multitasking
- occam (Computer program language)
- Parallel processing (Electronic computers)
- Andre fag (naturvidenskab og teknik) Andre fag
- 005.13/3 22
- QA76.73.O2 W67 2002eb
Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Electronic-Books | OPJGU Sonepat- Campus | E-Books EBSCO | Available |
Includes bibliographical references and index.
Print version record.
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.
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.
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide
There are no comments on this title.