دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
دانلود کتاب CONCUR 2014 - تئوری همزمانی: بیست و پنجمین کنفرانس بین المللی ، CONCUR 2014 ، رم ، ایتالیا ، 2-5 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
ویرایش: 1
نویسندگان: Paolo Baldan. Daniele Gorla (eds.)
سری: Lecture Notes in Computer Science 8704 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783662445839, 9783662445846
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 614
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب CONCUR 2014 - تئوری همزمانی: بیست و پنجمین کنفرانس بین المللی ، CONCUR 2014 ، رم ، ایتالیا ، 2-5 سپتامبر 2014. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، احتمال و آمار در علوم کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR 2014 - تئوری همزمانی: بیست و پنجمین کنفرانس بین المللی ، CONCUR 2014 ، رم ، ایتالیا ، 2-5 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR 2014 - تئوری همزمانی: بیست و پنجمین کنفرانس بین المللی ، CONCUR 2014 ، رم ، ایتالیا ، 2-5 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و پنجمین کنفرانس بین‌المللی نظریه همزمانی، CONCUR 2014، که در سپتامبر 2014 در رم، ایتالیا برگزار شد، تشکیل می‌شود. تمرکز کنفرانس بر روی موضوعات زیر است: محاسبات فرآیند، بررسی و انتزاع مدل، سنتز، مدل‌های کمی، خودکار و چند رشته‌ای، پیچیدگی، محاسبات فرآیندی و انواع، دسته‌ها، نمودارها و سیستم‌های کوانتومی، اتومات و زمان و بازی‌ها. /p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
فهرست مطالب
Front Matter....Pages -
Laws of Programming: The Algebraic Unification of Theories of Concurrency....Pages 1-6
The Benefits of Sometimes Not Being Discrete....Pages 7-22
Deterministic Negotiations: Concurrency for Free....Pages 23-31
Generalized Bisimulation Metrics....Pages 32-46
Choreographies, Logically....Pages 47-62
Deadlock Analysis of Unbounded Process Networks....Pages 63-77
Trees from Functions as Processes....Pages 78-92
Bisimulations Up-to: Beyond First-Order Transition Systems....Pages 93-108
Parameterized Model Checking of Rendezvous Systems....Pages 109-124
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability....Pages 125-140
Lost in Abstraction: Monotonicity in Multi-threaded Programs....Pages 141-155
Synthesis from Component Libraries with Costs....Pages 156-172
Compositional Controller Synthesis for Stochastic Games....Pages 173-187
Synchronizing Strategies under Partial Observability....Pages 188-202
Probabilistic Robust Timed Games....Pages 203-217
Perturbation Analysis in Verification of Discrete-Time Markov Chains....Pages 218-233
Robust Synchronization in Markov Decision Processes....Pages 234-248
Probabilistic Bisimulation: Naturally on Distributions....Pages 249-265
Averaging in LTL ....Pages 266-280
Decidable Topologies for Communicating Automata with FIFO and Bag Channels....Pages 281-296
Controllers for the Verification of Communicating Multi-pushdown Systems....Pages 297-311
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking....Pages 312-326
A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups....Pages 327-341
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm....Pages 342-356
Bounds on Mobility....Pages 357-371
Typing Messages for Free in Security Protocols: The Case of Equivalence Properties....Pages 372-386
Using Higher-Order Contracts to Model Session Types (Extended Abstract)....Pages 387-401
A Semantic Deconstruction of Session Types....Pages 402-418
Timed Multiparty Session Types....Pages 419-434
A Categorical Semantics of Signal Flow Graphs....Pages 435-450
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices....Pages 451-466
A General Framework for Well-Structured Graph Transformation Systems....Pages 467-481
(Un)decidable Problems about Reachability of Quantum Systems....Pages 482-496
Ordered Navigation on Multi-attributed Data Words....Pages 497-511
Verification for Timed Automata Extended with Unbounded Discrete Data Structures....Pages 512-526
Reducing Clocks in Timed Automata while Preserving Bisimulation....Pages 527-543
Qualitative Concurrent Parity Games: Bounded Rationality....Pages 544-559
Adding Negative Prices to Priced Timed Games....Pages 560-575
Tight Game Abstractions of Probabilistic Automata....Pages 576-591
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Music Theory in Practice: Grade 4
دانلود کتاب Shape and Shape Theory
دانلود کتاب Il sintomo e la rivoluzione: Georges Politzer crocevia tra due epoche
دانلود کتاب Just when you thought you were comfortable in your own skin, it starts to sag: rewriting the rules of midlife
