عنوان

Communicating process architectures 2009 :

(Number (ISBN

1607505134

(Number (ISBN

9781607505136

Erroneous ISBN

1607500655

Erroneous ISBN

9781607500650

Number

b783367

Title Proper

Communicating process architectures 2009 :

General Material Designation

[Book]

Other Title Information

WoTUG-32 /

First Statement of Responsibility

edited by Peter H. Welch [and others].

Place of Publication, Distribution, etc.

Washington, D.C. :

Name of Publisher, Distributor, etc.

IOS Press,

Date of Publication, Distribution, etc.

©2009.

Specific Material Designation and Extent of Item

1 online resource (x, 407 pages) :

Other Physical Details

illustrations

Series Title

Concurrent systems engineering series ;

Volume Designation

v. 67

Text of Note

Includes bibliographical references and indexes.

Text of Note

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.

0

Text of Note

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

Source for Acquisition/Subscription Address

IOS Press

Stock Number

978-1-60750-513-6

Title

Communicating process architectures 2009.

International Standard Book Number

1607500655

Parallel Title

WoTUG-32

Computer architecture, Congresses.

occam (Computer program language), Congresses.

Parallel processing (Electronic computers), Congresses.

Transputers, Congresses.

Computer architecture.

COMPUTERS-- Computer Literacy.

COMPUTERS-- Computer Science.

COMPUTERS-- Data Processing.

COMPUTERS-- Hardware-- General.

COMPUTERS-- Information Technology.

COMPUTERS-- Machine Theory.

COMPUTERS-- Reference.

occam (Computer program language)

Parallel processing (Electronic computers)

Transputers.

COM-- COM014000

Number

Edition

Class number

Book number

Welch, P. H.

WoTUG Technical Meeting(32nd :2009 :, Technische Universiteit Eindhoven, Netherlands)

IOS Press.

Date of Transaction

20201206214354.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y