دانلود کتاب CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
کتاب CONCUR 2000 — نظریه همزمانی: یازدهمین کنفرانس بین المللی پارک دانشگاه، PA، ایالات متحده آمریکا، 22-25 اوت، 2000 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب CONCUR 2000 — نظریه همزمانی: یازدهمین کنفرانس بین المللی پارک دانشگاه، PA، ایالات متحده آمریکا، 22-25 اوت، 2000 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
نام کتاب : CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : CONCUR 2000 — نظریه همزمانی: یازدهمین کنفرانس بین المللی پارک دانشگاه، PA، ایالات متحده آمریکا، 22-25 اوت، 2000 مجموعه مقالات
سری : Lecture Notes in Computer Science 1877
نویسندگان : Natarajan Shankar (auth.), Catuscia Palamidessi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2000
تعداد صفحات : 631
ISBN (شابک) : 9783540678977 , 3540678972
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مجموعه مقالات یازدهمین کنفرانس بین المللی نظریه همزمانی (CONCUR 2000) است که در کالج ایالتی، پنسیلوانیا، ایالات متحده آمریکا، طی 22 تا 25 اوت 2000 برگزار شد. هدف کنفرانس های CONCUR گرد هم آوردن محققان، توسعه دهندگان، و دانشجویان به منظور پیشبرد نظریه همزمانی و ترویج کاربردهای آن. علاقه به این موضوع به طور مداوم در حال افزایش است، به عنوان یک نتیجه از اهمیت و فراگیر بودن سیستم های همزمان و کاربردهای آنها، و ارتباط علمی مبانی آنها. دامنه تمام حوزه های معناشناسی، منطق، و تکنیک های تایید برای سیستم های همزمان را پوشش می دهد. موضوعات شامل جنبه‌های مربوط به همزمانی موارد زیر است: مدل‌های محاسبات، حوزه‌های معنایی، جبرهای فرآیند، شبکه‌های پتری، ساختارهای رویداد، سیستم‌های زمان واقعی، سیستم‌های ترکیبی، تصمیم‌پذیری، بررسی مدل، تکنیک‌های تأیید، تکنیک‌های بازسازی، اصطلاح و بازنویسی نمودار، برنامه نویسی توزیع شده، برنامه نویسی با محدودیت منطقی، برنامه نویسی شی گرا، سیستم ها و الگوریتم های تایپ، مطالعات موردی، ابزارها و محیط های برنامه نویسی و تأیید. دو کنفرانس CONCUR اول در سال 1990 و 1991 در آمستردام (NL) برگزار شد. PL)، نیس (F) و آیندهوون (NL). این دادرسی در Springer LNCS به عنوان جلدهای 458، 527، 630، 715، 836، 962، 1119، 1243، 1466، و 1664 ظاهر شده است.
فهرست مطالب :
Combining Theorem Proving and Model Checking through Symbolic Analysis....Pages 1-16
Verification Is Experimentation!....Pages 17-24
Compositional Performance Analysis Using Probabilistic I/O Automata....Pages 25-28
Formal Models for Communication-Based Design....Pages 29-47
Programming Access Control: The K laim Experience....Pages 48-65
Exploiting Hierarchical Structure for Efficient Formal Verification....Pages 66-68
From Process Calculi to Process Frameworks....Pages 69-88
Verification Using Tabled Logic Programming....Pages 89-91
Open Systems in Reactive Environments: Control and Synthesis....Pages 92-107
Model Checking with Finite Complete Prefixes Is PSPACE-Complete....Pages 108-122
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata....Pages 123-137
The Impressive Power of Stopwatches....Pages 138-152
Optimizing Büchi Automata....Pages 153-168
Generalized Model Checking: Reasoning about Partial State Spaces....Pages 168-182
Reachability Analysis for Some Models of Infinite-State Transition Systems....Pages 183-198
Process Spaces....Pages 199-213
Failure Semantics for the Exchange of Information in Multi-Agent Systems....Pages 214-228
Proof-Outlines for Threads in Java....Pages 229-242
Deriving Bisimulation Congruences for Reactive Systems....Pages 243-258
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic....Pages 259-274
Process Languages for Rooted Eager Bisimulation....Pages 275-289
Action Contraction....Pages 290-305
A Theory of Testing for Markovian Processes....Pages 305-319
Reasoning about Probabilistic Lossy Channel Systems....Pages 320-333
Weak Bisimulation for Probabilistic Systems....Pages 334-349
Nondeterminism and Probabilistic Choice: Obeying the Laws....Pages 350-365
Secrecy and Group Creation....Pages 365-379
On the Reachability Problem in Cryptographic Protocols....Pages 380-394
Secure Information Flow for Concurrent Processes....Pages 395-409
LP Deadlock Checking Using Partial Order Dependencies....Pages 410-425
Pomsets for Local Trace Languages....Pages 426-441
Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs....Pages 442-457
The Control of Synchronous Systems....Pages 458-473
Typing Non-uniform Concurrent Objects....Pages 474-489
An Implicitly-Typed Deadlock-Free Process Calculus....Pages 489-504
Typed Mobile Objects....Pages 504-520
Synthesizing Distributed Finite-State Systems from MSCs....Pages 521-535
Emptiness Is Decidable for Asynchronous Cellular Machines....Pages 536-551
Revisiting Safety and Liveness in the Context of Failures....Pages 552-565
Well-Abstracted Transition Systems....Pages 566-581
A Unifying Approach to Data-Independence....Pages 581-596
Chi Calculus with Mismatch....Pages 596-610
توضیحاتی در مورد کتاب به زبان اصلی :
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.
پست ها تصادفی