دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings
دانلود کتاب CONCUR 2003 - نظریه همبستگی: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. پرونده
مشخصات کتاب
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard (auth.), Roberto Amadio, Denis Lugiez (eds.) سری: Lecture Notes in Computer Science 2761 ISBN (شابک) : 3540407537, 9783540407539 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 535 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب CONCUR 2003 - نظریه همبستگی: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. پرونده: منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR 2003 - نظریه همبستگی: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR 2003 - نظریه همبستگی: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. پرونده
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی نظریه همزمانی، CONCUR 2003، برگزار شده در مارسی، فرانسه در سپتامبر 2003 است.
29 مقاله کامل اصلاح شده همراه با 4 مقاله دعوت شده با دقت ارائه شده‌اند. بررسی و از بین 107 مورد ارسالی انتخاب شد. این مقالات در بخش‌های موضوعی در مورد نظم‌های جزئی و سیستم‌های ناهمزمان، جبرهای فرآیند، بازی‌ها، سیستم‌های بی‌نهایت، اتوماتای احتمالی، بررسی مدل، بررسی مدل و HMSC، امنیت، تحرک، روش‌های ترکیبی و زمان واقعی، و مدل‌های احتمالی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003.
The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models.
فهرست مطالب
Front Matter....Pages -
Distributed Monitoring of Concurrent and Asynchronous Systems....Pages 1-26
Synthesis of Distributed Algorithms Using Asynchronous Automata....Pages 27-41
Compression of Partially Ordered Strings....Pages 42-56
Bundle Event Structures and CCSP....Pages 57-71
Syntactic Formats for Free....Pages 72-86
Priority Rewrite Systems for OSOS Process Languages....Pages 87-102
Quantitative Verification and Control via the Mu-Calculus....Pages 103-127
Playing Games with Boxes and Diamonds....Pages 128-143
The Element of Surprise in Timed Games....Pages 144-158
Deciding Bisimilarity between BPA and BPP Processes....Pages 159-173
Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management....Pages 174-190
Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,.......Pages 191-192
A Process-Algebraic Language for Probabilistic I/O Automata....Pages 193-207
Compositionality for Probabilistic Automata....Pages 208-221
Satisfiability and Model Checking for MSO-Definable Temporal Logics Are in PSPACE....Pages 222-236
Equivalence Checking of Non-flat Systems Is EXPTIME-Hard....Pages 237-250
Model Checking a Path....Pages 251-265
Multi-valued Model Checking via Classical Model Checking....Pages 266-280
An Extension of Pushdown System and Its Model Checking Method....Pages 281-295
Netcharts: Bridging the Gap between HMSCs and Executable Specifications....Pages 296-310
High-Level Message Sequence Charts and Projections....Pages 311-326
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus....Pages 327-349
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions....Pages 350-365
Contract Signing, Optimism, and Advantage....Pages 366-382
Full Abstraction for HOPLA....Pages 383-398
Modeling Consensus in a Process Calculus....Pages 399-414
Linear Forwarders....Pages 415-430
Abstract Patterns of Compositional Reasoning....Pages 431-445
Relating Fairness and Timing in Process Algebras....Pages 446-460
A Compositional Semantic Theory for Synchronous Component-Based Design....Pages 461-476
Conditional Expectation and the Approximation of Labelled Markov Processes....Pages 477-491
Comparative Branching-Time Semantics for Markov Chains....Pages 492-507
Quantitative Relations and Approximate Process Equivalences....Pages 508-522
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب New Concepts for Parallel Object-Relational Query Processing
دانلود کتاب Detection of Intrusions and Malware & Vulnerability Assessment: Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006. Proceedings
دانلود کتاب Pro Drupal Development
دانلود کتاب Computer Vision – ACCV 2009: 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part I
دانلود کتاب Computer Assisted Modeling: Contributions of Computational Approaches to Elucidating Macromolecular Structure and Function
دانلود کتاب Computer Modelling of Electrical Power Systems
دانلود کتاب From Integrated Publication and Information Systems to Information and Knowledge Environments: Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
دانلود کتاب Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings
دانلود کتاب Agents for Games and Simulations II: Trends in Techniques, Concepts and Design
