Communicating process architectures 2009 : WoTUG-32 /
"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...
| Автор-организация: | WoTUG Technical Meeting Technische Universiteit Eindhoven, Netherlands), IOS Press. |
|---|---|
| Други автори: | Welch, P. H. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Amsterdam ; Washington, D.C. :
IOS Press,
℗♭2009.
|
| Серия: |
Concurrent systems engineering series ;
v. 67. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315821 |
| Подобни документи: |
Print version::
Communicating process architectures 2009. |
Съдържание:
- 880-01
- 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.