ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

دانلود کتاب CONCUR 2004 - نظریه همبستگی: 15th International Conference، London، UK، 31 اوت - 3 سپتامبر 2004. پرونده ها

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

مشخصات کتاب

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 3170 
ISBN (شابک) : 9783540229407, 9783540286448 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2004 
تعداد صفحات: 540 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 34,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب CONCUR 2004 - نظریه همبستگی: 15th International Conference، London، UK، 31 اوت - 3 سپتامبر 2004. پرونده ها: منطق و معانی برنامه ها، محاسبات توسط دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 20


در صورت تبدیل فایل کتاب CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب CONCUR 2004 - نظریه همبستگی: 15th International Conference، London، UK، 31 اوت - 3 سپتامبر 2004. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب CONCUR 2004 - نظریه همبستگی: 15th International Conference، London، UK، 31 اوت - 3 سپتامبر 2004. پرونده ها



این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین المللی نظریه همزمانی، CONCUR 2004، که در لندن، انگلستان در ماه اوت/سپتامبر 2004 برگزار شد، تشکیل شده است.

29 مقاله کامل اصلاح شده همراه با 4 مقاله دعوت شده ارائه شده است. از بین 134 مورد ارسالی به دقت بررسی و انتخاب شدند. از جمله موضوعات تحت پوشش، جنبه‌های مربوط به همزمانی مدل‌های محاسبات، حوزه‌های معنایی، جبرهای فرآیند، شبکه‌های پتری، ساختارهای رویداد، سیستم‌های بلادرنگ، سیستم‌های ترکیبی، تصمیم‌پذیری، بررسی مدل، تکنیک‌های تأیید، اصلاح، بازنویسی اصطلاح و نمودار، برنامه‌نویسی توزیع شده است. ، برنامه نویسی منطق محدودیت، برنامه نویسی شی گرا، سیستم ها و الگوریتم های تایپ، مطالعات موردی، ابزارها و محیط های برنامه نویسی و تأیید.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.

The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.



فهرست مطالب

Front Matter....Pages -
Zing: Exploiting Program Structure for Model Checking Concurrent Software....Pages 1-15
A Semantics for Concurrent Separation Logic....Pages 16-34
A Survey of Regular Model Checking....Pages 35-48
Resources, Concurrency and Local Reasoning....Pages 49-67
Resource Control for Synchronous Cooperative Threads....Pages 68-82
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach....Pages 83-98
The Pros and Cons of Netcharts....Pages 99-114
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π -Calculi....Pages 115-130
Characterizing EF and EX Tree Logics....Pages 131-145
Message-Passing Automata Are Expressively Equivalent to EMSO Logic....Pages 146-160
Symbolic Bisimulation in the Spi Calculus....Pages 161-176
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps....Pages 177-192
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems....Pages 193-208
μ ABC: A Minimal Aspect Calculus....Pages 209-224
Type Based Discretionary Access Control....Pages 225-239
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency....Pages 240-257
Modular Construction of Modal Logics....Pages 258-275
Verification by Network Decomposition....Pages 276-291
Reversible Communicating Systems....Pages 292-307
Parameterised Boolean Equation Systems....Pages 308-324
An Extensional Spatial Logic for Mobile Processes....Pages 325-339
Timed vs. Time-Triggered Automata....Pages 340-354
Extended Process Rewrite Systems: Expressiveness and Reachability....Pages 355-370
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications....Pages 371-386
Model Checking Timed Automata with One or Two Clocks....Pages 387-401
On Flatness for 2-Dimensional Vector Addition Systems with States....Pages 402-416
Compiling Pattern Matching in Join-Patterns....Pages 417-431
Model Checking Restricted Sets of Timed Paths....Pages 432-447
Asynchronous Games 2: The True Concurrency of Innocence....Pages 448-465
Open Maps, Alternating Simulations and Control Synthesis....Pages 466-480
Probabilistic Event Structures and Domains....Pages 481-496
Session Types for Functional Multithreading....Pages 497-511
A Higher Order Modal Fixed Point Logic....Pages 512-528
Back Matter....Pages -




نظرات کاربران