Communicating process architectures 2009 : WoTUG-32 /

Afficher d'autres versions (1)

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivités auteurs: WoTUG Technical Meeting Technische Universiteit Eindhoven, Netherlands, IOS Press
Autres auteurs: Welch, P. H.
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Amsterdam ; Washington, D.C. : IOS Press, ©2009.
Collection:Concurrent systems engineering series ; v. 67.
Sujets:
Parallel processing (Electronic computers) > Congresses.
occam (Computer program language) > Congresses.
Transputers > Congresses.
Computer architecture > Congresses.
Parallélisme (Informatique) > Congrès.
Occam (Langage de programmation) > Congrès.
Transputers > Congrès.
Ordinateurs > Architecture > Congrès.
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
Accès en ligne:Texto completo
Table des matières:
  • 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.

Documents similaires