EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

17154 Preface

Home Policy Brochure Browse Search User Area Contact Help

Welch, P.H. and Roebbers, H.W. and Broenink, J.F. and Barnes, F.R.M. and Ritson, C.G. and Sampson, A.T. and Stiles, G.S. and Vinter, B. (2009) Preface. In: Communicating Process Architectures 2009, 1-4 Nov 2009, Eindhoven. Concurrent Systems Engineering Series 67. IOS Press. ISSN 1383-7575 ISBN 978-1-60750-065-0

Full text available as:

PDF

- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
39 Kb

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.

Item Type:	Conference or Workshop Paper (Full Paper, Other)
Research Group:	EWI-CE: Control Engineering
Research Program:	CTIT-DSN: Dependable Systems and Networks
Research Project:	ViewCorrect: Predictable Co-Design for distributed embedded mechatronic control systems, Teleflex: Chirurgisch Telemanipulatie Systeem met Intuïtieve Besturing voor Minimaal Invasieve Operaties
Additional Information:	This item is the Proceedings of the CPA2009 conference, for which I was one of the Editors and organizers.
Uncontrolled Keywords:	process algebra, CSP, formal methods, concurrency
ID Code:	17154
Status:	Published
Deposited On:	13 January 2010
Refereed:	No
International:	Yes
More Information:	statistics metis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item