دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
دانلود کتاب CONCUR 2001 - نظریه همبستگی: 12مین کنفرانس بین المللی آلبورگ، دانمارک، 25-25 اوت 2001. پرونده
مشخصات کتاب
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
ویرایش: 1 نویسندگان: Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.) سری: Lecture Notes in Computer Science 2154 ISBN (شابک) : 9783540424970, 3540424970 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 594 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب CONCUR 2001 - نظریه همبستگی: 12مین کنفرانس بین المللی آلبورگ، دانمارک، 25-25 اوت 2001. پرونده: منطق و معانی برنامه ها، محاسبات توسط دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR 2001 - نظریه همبستگی: 12مین کنفرانس بین المللی آلبورگ، دانمارک، 25-25 اوت 2001. پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR 2001 - نظریه همبستگی: 12مین کنفرانس بین المللی آلبورگ، دانمارک، 25-25 اوت 2001. پرونده
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی
نظریه همزمانی، CONCUR 2001، که در آلبورگ، دانمارک در آگوست
2001 برگزار شد را تشکیل می دهد.
32 مقاله کامل اصلاح شده ارائه شده همراه با شش مشارکت دعوت شده
با دقت بررسی و انتخاب شدند. 78 ارسال. مقالات در بخش‌های
موضوعی در مورد تحرک، سیستم‌های احتمالی، بررسی مدل، جبر
فرآیند، باز کردن و پیشوندها، منطق و ترکیب‌بندی، و بازی‌ها
سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th
International Conference on Concurrency Theory, CONCUR 2001,
held in Aalborg, Denmark in August 2001.
The 32 revised full papers presented together with six
invited contributions were carefully reviewed and selected
from 78 submissions. The papers are organized in topical
sections on mobility, probabilistic systems, model checking,
process algebra, unfoldings and prefixes, logic and
compositionality, and games.
فهرست مطالب
Channel Representations in Protocol Verification....Pages 1-15
Bigraphical Reactive Systems....Pages 16-35
Control of Networks of Unmanned Vehicles....Pages 36-36
Process Algebra and Security (Abstract)....Pages 37-38
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software....Pages 39-58
Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains....Pages 59-81
Typing Mobility in the Seal Calculus....Pages 82-101
Reasoning about Security in Mobile Ambients....Pages 102-120
Synchronized Hyperedge Replacement with Name Mobility....Pages 121-136
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems....Pages 137-151
Probabilistic Information Flow in a Process Algebra....Pages 152-168
Symbolic Computation of Maximal Probabilisti Reachability....Pages 169-183
Randomized Non-sequential Processes....Pages 184-201
Liveness and Fairness in Process-Algebraic Verification....Pages 202-217
Bounded Reachability Checking with Process Semantics....Pages 218-232
Techniques for Smaller Intermediary BDDs....Pages 233-247
An Algebraic Characterization of Data and Timed Languages....Pages 248-261
A Faster-than Relation for Asynchronous Processes....Pages 262-276
On the Power of Labels in Transition Systems....Pages 277-291
On Barbed Equivalences in π-Calculus....Pages 292-304
CCS with Priority Guards....Pages 305-320
A Testing Theory for Generally Distributed Stochastic Processes....Pages 321-335
An Algorithm for Quantitative Verification of Probabilistic Transition Systems....Pages 336-350
Compositional Methods for Probabilistic Systems....Pages 351-365
Towards an Efficient Algorithm for Unfolding Petri Nets....Pages 366-380
A Static Analysis Technique for Graph Transformation Systems....Pages 381-395
Local First Search — A New Paradigm for Partial Order Reductions....Pages 396-410
Extending Memory Consistency of Finite Prefixes to Infinite Computations....Pages 411-425
Abstraction-Based Model Checking Using Modal Transition Systems....Pages 426-440
Efficient Multiple-Valued Model-Checking Using Lattice Representations....Pages 441-455
Divide and Compose: SCC Refinement for Language Emptiness....Pages 456-471
Unavoidable Configurations of Parameterized Rings of Processes....Pages 472-486
Logic of Global Synchrony....Pages 487-501
Compositional Modeling of Reactive Systems Using Open Nets....Pages 502-518
Extended Temporal Logic Revisited....Pages 519-535
Symbolic Algorithms for Infinite-State Games....Pages 536-550
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols....Pages 551-565
The Control of Synchronous Systems, Part II....Pages 566-581
