دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
دانلود کتاب CONCUR 2013 - تئوری همزمانی: بیست و چهارمین کنفرانس بین المللی ، CONCUR 2013 ، بوئنوس آیرس ، آرژانتین ، 27-30 آگوست 2013. مجموعه مقالات
مشخصات کتاب
CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ویرایش: 1 نویسندگان: Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (eds.) سری: Lecture Notes in Computer Science 8052 ISBN (شابک) : 9783642401831, 9783642401848 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 576 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب CONCUR 2013 - تئوری همزمانی: بیست و چهارمین کنفرانس بین المللی ، CONCUR 2013 ، بوئنوس آیرس ، آرژانتین ، 27-30 آگوست 2013. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، احتمالات و آمار در علوم کامپیوتر
در صورت تبدیل فایل کتاب CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR 2013 - تئوری همزمانی: بیست و چهارمین کنفرانس بین المللی ، CONCUR 2013 ، بوئنوس آیرس ، آرژانتین ، 27-30 آگوست 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR 2013 - تئوری همزمانی: بیست و چهارمین کنفرانس بین المللی ، CONCUR 2013 ، بوئنوس آیرس ، آرژانتین ، 27-30 آگوست 2013. مجموعه مقالات
این کتاب مجموعه مقالات بیست و چهارمین کنفرانس بین المللی
نظریه همزمانی، CONCUR 2013 است که در بوئنوس آیرس، آرژانتین،
27 تا 30 اوت 2013 برگزار شد.
34 مقاله کامل اصلاح شده ارائه شده به همراه 4 سخنرانی دعوت شده
به دقت بررسی و از بین 115 مورد ارسالی انتخاب شدند. مقالات در
موضوعاتی مانند معناشناسی فرآیند و سیستم‌های انتقال مدال،
سیستم‌های VAS و pushdown، حساب پی و شبکه‌های تعاملی، خطی‌سازی
و تأیید برنامه‌های همزمان، تأیید مدل‌های بی‌نهایت،
اندازه‌گیری و برگشت‌پذیری مدل، مدل‌های تصادفی، تعامل مبتنی بر
پیام سازمان‌دهی شده‌اند. فرآیندها، اصول تأیید خودکار، و
بازی‌ها و ترکیب کنترل.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of
the 24th International Conference on Concurrency Theory,
CONCUR 2013, held in Buenos Aires, Argentina, August 27-30,
2013.
The 34 revised full papers presented together with 4 invited
talks were carefully reviewed and selected from 115
submissions. The papers are organized in topics such as
process semantics and modal transition systems, VAS and
pushdown systems, Pi calculus and interaction nets,
linearizability and verification of concurrent programs,
verification of infinite models, model measure and
reversibility, stochastic models, message-based interaction
processes, principles of automatic verification, and games
and control synthesis.
فهرست مطالب
Front Matter....Pages -
Reasoning with MAD Distributed Systems....Pages 1-4
The Power of Well-Structured Systems....Pages 5-24
Impact of Resource Sharing on Performance and Performance Prediction: A Survey....Pages 25-43
Concurrency Meets Probability: Theory and Practice....Pages 44-45
Modular Semantics for Transition System Specifications with Negative Premises....Pages 46-60
Mutually Testing Processes....Pages 61-75
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory....Pages 76-90
Merging Partial Behaviour Models with Different Vocabularies....Pages 91-105
Solving Parity Games on Integer Vectors....Pages 106-120
Well-Structured Pushdown Systems....Pages 121-136
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness....Pages 137-151
Expand, Enlarge, and Check for Branching Vector Addition Systems....Pages 152-166
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation....Pages 167-181
A Theory of Name Boundedness....Pages 182-196
A Hierarchy of Expressiveness in Concurrent Interaction Nets....Pages 197-211
An Epistemic Perspective on Consistency of Concurrent Computations....Pages 212-226
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements....Pages 227-241
Aspect-Oriented Linearizability Proofs....Pages 242-256
Causality-Based Verification of Multi-threaded Programs....Pages 257-272
From Model Checking to Model Measuring....Pages 273-287
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks....Pages 288-302
Reversibility and Asymmetric Conflict in Event Structures....Pages 303-318
The Power of Priority Channel Systems....Pages 319-333
Reachability Probabilities of Quantum Markov Chains....Pages 334-348
Cost Preserving Bisimulations for Probabilistic Automata....Pages 349-363
Compositional Verification and Optimization of Interactive Markov Chains....Pages 364-379
Thermodynamic Graph-Rewriting....Pages 380-394
Globally Governed Session Semantics....Pages 395-409
A General Proof System for Modalities in Concurrent Constraint Programming....Pages 410-424
Compositional Choreographies....Pages 425-439
On Negotiation as Concurrency Primitive....Pages 440-454
Satisfiability of CTL * with Constraints....Pages 455-469
Proof Graphs for Parameterised Boolean Equation Systems....Pages 470-484
Generalizing Simulation to Abstract Domains....Pages 485-499
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games....Pages 500-515
Borel Determinacy of Concurrent Games....Pages 516-530
A Faster Algorithm for Solving One-Clock Priced Timed Games....Pages 531-545
Robust Controller Synthesis in Timed Automata....Pages 546-560
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Spectral Mixture for Remote Sensing: Linear Model and Applications
دانلود کتاب Extreme prematurity
دانلود کتاب La justicia constitucional
دانلود کتاب Image Based Measurement Systems: Object Recognition and Parameter Estimation (Design & Measurement in Electronic Engineering)
