Preface

Peter Welch; Herman Roebbers; Carl Ritson; Dyke Stiles

Preface

Peter Welch, Herman Roebbers, Carl Ritson, Dyke Stiles

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

11 Downloads (Pure)

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. 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.

Original language	English
Title of host publication	Communicating Process Architectures 2009
Editors	Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Frederick R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter
Place of Publication	Amsterdam
Publisher	IOS
Number of pages	10
ISBN (Print)	978-1-60750-065-0
Publication status	Published - 1 Nov 2009
Event	Communicating Process Architectures, CPA 2009: 32nd WoTUG Technical Meeting on Concurrent and Parallel Programming 2009 - Technical University Eindhoven, Eindhoven, Netherlands Duration: 1 Nov 2009 → 4 Nov 2009 Conference number: 32

Publication series

Name	Concurrent Systems Engineering Series
Publisher	IOS Press
Volume	67
ISSN (Print)	1383-7575

Conference

Conference	Communicating Process Architectures, CPA 2009
Abbreviated title	CPA
Country/Territory	Netherlands
City	Eindhoven
Period	1/11/09 → 4/11/09

Keywords

CSP
Formal methods
Concurrency
Process algebra

Access to Document

Welch2009prefaceFinal published version, 38.8 KB

http://ebooks.iospress.nl/volume/communicating-process-architectures-2009

Cite this

@inproceedings{3c6cabb123494d5ea0a889f51c5c2605,

title = "Preface",

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. 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.",

keywords = "CSP, Formal methods, Concurrency, Process algebra",

author = "Peter Welch and Herman Roebbers and Carl Ritson and Dyke Stiles",

year = "2009",

month = nov,

day = "1",

language = "English",

isbn = "978-1-60750-065-0",

series = "Concurrent Systems Engineering Series",

publisher = "IOS",

editor = "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 Brian Vinter",

booktitle = "Communicating Process Architectures 2009",

address = "Netherlands",

note = "Communicating Process Architectures, CPA 2009 : 32nd WoTUG Technical Meeting on Concurrent and Parallel Programming 2009, CPA ; Conference date: 01-11-2009 Through 04-11-2009",

}

Welch, P, Roebbers, H, Ritson, C & Stiles, D 2009, Preface. in PH Welch, HW Roebbers, JF Broenink, FRM Barnes, CG Ritson, AT Sampson, GS Stiles & B Vinter (eds), Communicating Process Architectures 2009. Concurrent Systems Engineering Series, vol. 67, IOS, Amsterdam, Communicating Process Architectures, CPA 2009, Eindhoven, Netherlands, 1/11/09. <http://ebooks.iospress.nl/volume/communicating-process-architectures-2009>

Preface. / Welch, Peter; Roebbers, Herman; Ritson, Carl et al.
Communicating Process Architectures 2009. ed. / Peter H. Welch; Herman W. Roebbers; Jan F. Broenink; Frederick R.M. Barnes; Carl G. Ritson; Adam T. Sampson; Gardiner S. Stiles; Brian Vinter. Amsterdam: IOS, 2009. (Concurrent Systems Engineering Series; Vol. 67).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Preface

AU - Welch, Peter

AU - Roebbers, Herman

AU - Ritson, Carl

AU - Stiles, Dyke

N1 - Conference code: 32

PY - 2009/11/1

Y1 - 2009/11/1

N2 - 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. 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.

AB - 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. 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.

KW - CSP

KW - Formal methods

KW - Concurrency

KW - Process algebra

M3 - Conference contribution

SN - 978-1-60750-065-0

T3 - Concurrent Systems Engineering Series

BT - Communicating Process Architectures 2009

A2 - Welch, Peter H.

A2 - Roebbers, Herman W.

A2 - Broenink, Jan F.

A2 - Barnes, Frederick R.M.

A2 - Ritson, Carl G.

A2 - Sampson, Adam T.

A2 - Stiles, Gardiner S.

A2 - Vinter, Brian

PB - IOS

CY - Amsterdam

T2 - Communicating Process Architectures, CPA 2009

Y2 - 1 November 2009 through 4 November 2009

ER -

Preface

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this