Skip to main content

Communicating Process Architectures 2009

Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. (2009) Communicating Process Architectures 2009. Concurrent Systems Engineering Series . IOS Press, Amsterdam, Netherlands ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24979)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL
http://www.booksonline.iospress.nl/Content/View.as...

Abstract

This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent -- so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications.

Item Type: Edited book
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Adam Sampson
Date Deposited: 29 Jun 2010 17:17 UTC
Last Modified: 16 Nov 2021 10:03 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/24979 (The current URI for this page, for reference purposes)
Barnes, Frederick R.M.: https://orcid.org/0000-0003-1153-6452
  • Depositors only (login required):