Peter Welch, Herman Roebbers, Carl Ritson, Dyke Stiles

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    2 Downloads (Pure)


    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 languageEnglish
    Title of host publicationCommunicating Process Architectures 2009
    EditorsPeter 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 PublicationAmsterdam
    PublisherIOS Press
    Number of pages10
    ISBN (Print)978-1-60750-065-0
    Publication statusPublished - 1 Nov 2009
    EventCommunicating Process Architectures, CPA 2009: 32nd WoTUG Technical Meeting on Concurrent and Parallel Programming 2009 - Technical University Eindhoven, Eindhoven, Netherlands
    Duration: 1 Nov 20094 Nov 2009
    Conference number: 32

    Publication series

    NameConcurrent Systems Engineering Series
    PublisherIOS Press
    ISSN (Print)1383-7575


    ConferenceCommunicating Process Architectures, CPA 2009
    Abbreviated titleCPA


    • CSP
    • Formal methods
    • Concurrency
    • Process algebra


    Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

    Cite this