The Resource Communicating process architectures 2009 : WoTUG-32, edited by Peter H. Welch [and others]

Communicating process architectures 2009 : WoTUG-32, edited by Peter H. Welch [and others]

Label
Communicating process architectures 2009 : WoTUG-32
Title
Communicating process architectures 2009
Title remainder
WoTUG-32
Statement of responsibility
edited by Peter H. Welch [and others]
Title variation
WoTUG-32
Creator
Contributor
Subject
Genre
Language
eng
Summary
"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."--Jacket
Member of
Cataloging source
IOSPR
Dewey number
004
Illustrations
illustrations
Index
index present
LC call number
QA76.58
LC item number
.W58 2009
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Concurrent systems engineering series
Series volume
v. 67
Label
Communicating process architectures 2009 : WoTUG-32, edited by Peter H. Welch [and others]
Publication
Bibliography note
Includes bibliographical references and indexes
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi
Control code
ocn591152273
Dimensions
unknown
Extent
1 online resource (x, 407 pages)
Form of item
online
Isbn
9781607505136
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-1-60750-513-6
http://library.link/vocab/recordID
.b25655607
Specific material designation
remote
System control number
  • (OCoLC)591152273
  • pebcs1607505134

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...