Communicating Process Architectures 2004

Paperback (Print)
Buy New
Buy New from BN.com
$145.00
Used and New from Other Sellers
Used and New from Other Sellers
from $72.50
Usually ships in 1-2 business days
(Save 50%)
Other sellers (Paperback)
  • All (4) from $72.50   
  • New (3) from $72.50   
  • Used (1) from $96.91   

Overview

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.
Read More Show Less

Product Details

  • ISBN-13: 9781586034580
  • Publisher: I O S Press, Incorporated
  • Publication date: 8/28/2004
  • Series: Concurrent Systems Engineering Series
  • Pages: 428
  • Product dimensions: 6.14 (w) x 9.21 (h) x 0.87 (d)

Table of Contents

Preface
Finitary refinement checks for infinitary specifications 1
An automatic translation of CSP to Handel-C 19
On linear time and congruence in channel-passing calculi 39
Prioritised service architecture 55
Debugging and verification of parallel systems - the picoChip way! 71
Active serial port : a component for JCSP.net embedded systems 85
The transterpreter : a transputer interpreter 99
Adding mobility to networked channel-types 107
A comparison of three MPI implementations 127
An evaluation of inter-switch connections 137
Observing processes 147
Triples 157
C++CSP networked 185
Communicating mobile processes 201
Dynamic BSP : towards a flexible approach to parallel computing over the grid 219
CSP : the best concurrent-system description language in the world - probably! 227
gCSP : a graphical tool for designing CSP systems 233
Towards a semantics for prioritised alternation 253
A calculated implementation of a control system 265
Refining industrial scale systems in circus 281
K-CSP : component based development of kernel extensions 311
Chaining communications algorithms with process networks 325
Using CSP to verify aspects of an occam-to-FPGA compiler 339
Focussing on traces to link VCR and CSP 353
Design of a transputer core and its implementation in an FPGA 361
Derivation of scalable message-passing algorithms using parallel combinatorial list generator functions 373
Reconfigurable hardware synthesis of the IDEA cryptographic algorithm 387
Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)