+612 9045 4394
 
CHECKOUT
Communicating Process Architectures 2004 : Concurrent Systems Engineering Series - I.R. East

Communicating Process Architectures 2004

Concurrent Systems Engineering Series

By: I.R. East (Editor), J. Martin (Editor), P. H. Welch (Editor), D. Duce (Editor), M. Green (Editor)

Paperback Published: 1st August 2004
ISBN: 9781586034580
Number Of Pages: 428

Share This Book:

Paperback

RRP $451.99
$312.95
31%
OFF
or 4 easy payments of $78.24 with Learn more
Ships in 10 to 15 business days

Communicating Process Architecture (CPA) describes an approach to system development that is process-oriented. It makes no great distinction between hardware and software. It has a major root in the theory of Communicating Sequential Processes (CSP). However, the underlying theory is not limited to CSP. The importance of mobility of both channel and process within a network sees integration with ideas from the ├░-calculus. Other formalisms are also exploited, such as BSP and MPI. The focus is on sound methods for the engineering of significant concurrent systems, including those that are distributed (across the Internet or within a single chip) and / or software-scheduled on a single execution unit. Traditionally, at CPA, the emphasis has been on theory and practice - developing and applying tools based upon CSP and related theories to build high-integrity systems of significant size. In particular, interest focuses on achieving scalability and security against error. The development of Java, C, and C++, libraries to facilitate secure concurrent programming using 'mainstream' languages has allowed CPA to continue and proliferate. This work continues in support of the engineering of distributed applications. Recently, there has been greater reference to theory and its more direct application to programming systems and languages. In this volume the formal CSP is very well presented. The papers provide a healthy mixture of the academic and commercial, software and hardware, application and infrastructure, which reflects the nature of the discipline.

Preface
Finitary refinement checks for infinitary specificationsp. 1
An automatic translation of CSP to Handel-Cp. 19
On linear time and congruence in channel-passing calculip. 39
Prioritised service architecturep. 55
Debugging and verification of parallel systems - the picoChip way!p. 71
Active serial port : a component for JCSP.net embedded systemsp. 85
The transterpreter : a transputer interpreterp. 99
Adding mobility to networked channel-typesp. 107
A comparison of three MPI implementationsp. 127
An evaluation of inter-switch connectionsp. 137
Observing processesp. 147
Triplesp. 157
C++CSP networkedp. 185
Communicating mobile processesp. 201
Dynamic BSP : towards a flexible approach to parallel computing over the gridp. 219
CSP : the best concurrent-system description language in the world - probably!p. 227
gCSP : a graphical tool for designing CSP systemsp. 233
Towards a semantics for prioritised alternationp. 253
A calculated implementation of a control systemp. 265
Refining industrial scale systems in circusp. 281
K-CSP : component based development of kernel extensionsp. 311
Chaining communications algorithms with process networksp. 325
Using CSP to verify aspects of an occam-to-FPGA compilerp. 339
Focussing on traces to link VCR and CSPp. 353
Design of a transputer core and its implementation in an FPGAp. 361
Derivation of scalable message-passing algorithms using parallel combinatorial list generator functionsp. 373
Reconfigurable hardware synthesis of the IDEA cryptographic algorithmp. 387
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9781586034580
ISBN-10: 1586034588
Series: Concurrent Systems Engineering Series
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 428
Published: 1st August 2004
Publisher: IOS Press
Country of Publication: US
Dimensions (cm): 23.4 x 15.6  x 2.2
Weight (kg): 0.6