دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
دانلود کتاب CONCUR 2012 - نظریه همبستگی: 23rd کنفرانس بین المللی، CONCUR 2012، نیوکاسل بر تین، انگلستان، 4-7 سپتامبر 2012. پرونده ها
مشخصات کتاب
CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
ویرایش: 1 نویسندگان: Jos C. M. Baeten, Bas Luttik, Paul van Tilburg (auth.), Maciej Koutny, Irek Ulidowski (eds.) سری: Lecture Notes in Computer Science 7454 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642329401, 3642329403 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 593 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 56,000
در صورت تبدیل فایل کتاب CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR 2012 - نظریه همبستگی: 23rd کنفرانس بین المللی، CONCUR 2012، نیوکاسل بر تین، انگلستان، 4-7 سپتامبر 2012. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR 2012 - نظریه همبستگی: 23rd کنفرانس بین المللی، CONCUR 2012، نیوکاسل بر تین، انگلستان، 4-7 سپتامبر 2012. پرونده ها
این کتاب مجموعه مقالات بیست و سومین کنفرانس بین‌المللی نظریه همزمانی، CONCUR 2012، که در نیوکاسل آپون تاین، بریتانیا، 4 تا 7 سپتامبر 2012 برگزار شد، با داوری کامل است. بررسی و انتخاب از 97 ارسالی. مقالات در موضوعاتی مانند تجزیه و تحلیل دسترس پذیری سازماندهی شده اند. سیستم های کیفی و زمان بندی شده؛ معادلات رفتاری؛ منطق های زمانی; انواع جلسات؛ انتزاع - مفهوم - برداشت؛ تحرک و فضا در جبرهای فرآیندی. سیستم های تصادفی؛ سیستم های احتمالی؛ شبکه های پتری و معناشناسی غیر ترتیبی. تایید؛ قابلیت تصمیم گیری.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.
فهرست مطالب
Front Matter....Pages -
Turing Meets Milner....Pages 1-20
Concurrency and the Algebraic Theory of Effects....Pages 21-22
A Turing Enigma....Pages 23-36
False Concurrency and Strange-but-True Machines....Pages 37-38
Concurrent Games on VASS with Inhibition....Pages 39-52
Reachability Problem for Weak Multi-Pushdown Automata....Pages 53-68
Reachability and Termination Analysis of Concurrent Quantum Programs....Pages 69-83
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction....Pages 84-99
Avoiding Shared Clocks in Networks of Timed Automata....Pages 100-114
Strategy Synthesis for Multi-Dimensional Quantitative Objectives....Pages 115-131
Quantitative Languages Defined by Functional Automata....Pages 132-146
A Comparison of Succinctly Represented Finite-State Systems....Pages 147-161
All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs....Pages 162-176
Quantified CTL : Expressiveness and Model Checking....Pages 177-192
What Makes Atl * Decidable? A Decidable Fragment of Strategy Logic....Pages 193-208
Specifying Stateful Asynchronous Properties for Distributed Programs....Pages 209-224
Synthesising Choreographies from Local Session Types....Pages 225-239
A Theory of History Dependent Abstractions for Learning Interface Automata....Pages 240-255
Linearizability with Ownership Transfer....Pages 256-271
Nested Protocols in Session Types....Pages 272-286
Intensional and Extensional Characterisation of Global Progress in the π -Calculus....Pages 287-301
Duality and i/o-Types in the π -Calculus....Pages 302-316
Spatial and Epistemic Modalities in Constraint-Based Process Calculi....Pages 317-332
Fluid Model Checking....Pages 333-347
Playing Stochastic Games Precisely....Pages 348-363
Efficient Modelling and Generation of Markov Automata....Pages 364-379
Exact Fluid Lumpability for Markovian Process Algebra....Pages 380-394
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics....Pages 395-409
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory....Pages 410-424
Modeling Interval Order Structures with Partially Commutative Monoids....Pages 425-439
A Polynomial Translation of π -Calculus (FCP) to Safe Petri Nets....Pages 440-455
Algebraic Structure of Combined Traces....Pages 456-470
Verification of Petri Nets with Read Arcs....Pages 471-485
Efficient Checking of Link-Reversal-Based Concurrent Systems....Pages 486-499
Efficient Coverability Analysis by Proof Minimization....Pages 500-515
A Framework for Formally Verifying Software Transactional Memory Algorithms....Pages 516-530
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems....Pages 531-546
MSO Decidability of Multi-Pushdown Systems via Split-Width....Pages 547-561
Decidability Problems for Actor Systems....Pages 562-577
Erratum: Decidability Problems for Actor Systems....Pages E1-E1
Back Matter....Pages -
