Communicating process architectures 2009 : WoTUG-32

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

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

Full description

Saved in:
Bibliographic Details
Corporate Authors: WoTUG Technical Meeting Technische Universiteit Eindhoven, Netherlands, IOS Press
Other Authors: Welch, P. H.
Format: eBook
Language:English
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2009.
Series:Concurrent systems engineering series ; v. 67.
Subjects:
Parallel processing (Electronic computers) > Congresses.
occam (Computer program language) > Congresses.
Transputers > Congresses.
Computer architecture > Congresses.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer architecture
occam (Computer program language)
Parallel processing (Electronic computers)
Transputers
Conference papers and proceedings
Online Access:Click for online access
Table of 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.

Similar Items