Communicating Process Architectures 2011

WoTUG-33

Share
Editors
Welch, P.H., Sampson, A.T., Pedersen, J.B., Kerridge, J., Broenink, J.F., Barnes, F.R.M.
Pub. date
June 2011
Pages
400
Binding
softcover
Volume
68 of Concurrent Systems Engineering Series
ISBN print
978-1-60750-773-4
ISBN online
978-1-60750-774-1
Subject
Computer & Communication Sciences, Computer Science
€108 / US$156 Excl. VAT
Order Communicating Process Architectures 2011 ISBN @ €108.00
Order Ebook

This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials.

These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. Inside, you will find papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware.