مشخصات کتاب

Communicating Process Architectures 2008; WoTUG-31 - Volume 66 Concurrent Systems Engineering Series

ویرایش:  
نویسندگان: P.H. Welch,  S. Stepney,  F.A.C. Polack,  F.R.M. Barnes,  A.A. McEwan,  G.S. Stiles,  J.F. Broenink,  A.T. Sampson  
سری:  
ISBN (شابک) : 9781586039073 
ناشر:  
سال نشر:  
تعداد صفحات: 473 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

در صورت تبدیل فایل کتاب Communicating Process Architectures 2008; WoTUG-31 - Volume 66 Concurrent Systems Engineering Series به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ارتباط معماری فرآیند 2008؛ WoTUG-31 - دوره 66 سیستم های همزمان سیستم های مهندسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ارتباط معماری فرآیند 2008؛ WoTUG-31 - دوره 66 سیستم های همزمان سیستم های مهندسی

Communicating Process Architectures 2008 شامل مجموعه مقالات سی و یکمین کنفرانس معماری فرآیند ارتباط (CPA 2008) است که تحت نظارت WoTUG و دپارتمان علوم کامپیوتر دانشگاه یورک برگزار شده است. هدف این کتاب پوشش دادن جنبه های نظری و کاربردهای صنعتی فرآیندهای ارتباطی است. دو سخنران دعوت شده کمک بسیار خوبی به این موضوع کرده اند. پروفسور سامسون آبرامسکی در زمینه معناشناسی و منطق محاسبات و همزمانی کار کرده است. کار او بر روی معناشناسی بازی، تعامل و جریان اطلاعات بین چندین عامل و محیط آنها را در نظر می گیرد. این امر رویکردهای جدیدی را برای بررسی مدل ترکیبی و تجزیه و تحلیل برای برنامه‌هایی با حالت، همزمانی، احتمال و سایر ویژگی‌ها ارائه کرده است. پروفسور کالین اوهالوران در پذیرش روش‌های رسمی در توسعه و تأیید سیستم‌های با اطمینان بالا در مقیاس صنعتی مؤثر بوده است. علایق تحقیقاتی او در خودکارسازی استفاده از روش های رسمی و استفاده از این تکنیک ها با هزینه مناسب و در مقیاس صنعتی است.

توضیحاتی درمورد کتاب به خارجی

Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and information flow between multiple agents and their environment. This has yielded new approaches to compositional model-checking and to analysis for programs with state, concurrency, probability, and other features. Professor Colin O'Halloran has been instrumental in the uptake of formal methods in the development and verification of high assurance systems on an industrial scale. His research interests are in automating the use of formal methods and using these techniques at reasonable cost and on an industrial scale.

فهرست مطالب

Title page......Page 1
Preface......Page 6
Editorial Board......Page 7
Reviewing Committee......Page 8
Contents......Page 10
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures......Page 14
How to Soar with CSP......Page 28
A CSP Model for Mobile Channels......Page 30
Communicating Scala Objects......Page 48
Combining EDF Scheduling with occam Using the Toc Programming Language......Page 68
Communicating Haskell Processes: Composable Explicit Concurrency Using Monads......Page 80
Two-Way Protocols for occam-pi......Page 98
Prioritized Service Architecture: Refinement and Visual Design......Page 112
Experiments in Translating CSP||B to Handel-C......Page 128
FPGA Based Control of a Production Cell System......Page 148
Shared-Clock Methodology for Time-Triggered Multi-Cores......Page 162
Transfer Request Broker: Resolving Input-Output Choice......Page 176
Mechanical Verification of a Two-Way Sliding Window Protocol......Page 192
RRABP: Point-to-Point Communication over Unreliable Components......Page 216
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks......Page 232
Asynchronous Active Objects in Java......Page 250
JCSPre: the Robot Edition to Control LEGO NXT Robots......Page 268
A Critique of JCSP Networking......Page 284
Virtual Machine Based Debugging for occam-pi......Page 306
Process-Oriented Collective Operations......Page 322
Representation and Implementation of CSP and VCR Traces......Page 342
CSPBuilder - CSP Based Scientific Workflow Modelling......Page 360
Visual Process-Oriented Programming for Robotics......Page 378
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques......Page 394
Mobile Agents and Processes Using Communicating Process Architectures......Page 410
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation......Page 424
Modelling a Multi-Core Media Processor Using JCSP......Page 444
How to Make a Process Invisible......Page 458
Designing Animation Facilities for gCSP......Page 460
Tock: One Year On......Page 462
Introducing JCSP Networking 2.0......Page 464
Mobile Processes in an Ant Simulation......Page 466
Santa Claus - with Mobile Reindeer and Elves......Page 468
Subject Index......Page 470
Author Index......Page 472

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Pervasive Healthcare: A Compendium of Critical Factors for Success

دانلود کتاب Yedi İklim Türkçe B2 Ders Kitabı

دانلود کتاب Diffusion Dynamics of Energy-Efficient Renovations: Causalities and Policy Recommendations

دانلود کتاب A Cold Welcome：The Little Ice Age and Europe’s Encounter with North America

دانلود کتاب Entre l'écriture (Essai)