دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
دانلود کتاب CONCUR 2007 - تئوری همزمانی: هجدهمین کنفرانس بین المللی ، CONCUR 2007 ، لیسبون ، پرتغال ، 3-8 سپتامبر ، 2007. مجموعه مقالات
مشخصات کتاب
CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.) سری: Lecture Notes in Computer Science 4703 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540744061, 9783540744061 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 518 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب CONCUR 2007 - تئوری همزمانی: هجدهمین کنفرانس بین المللی ، CONCUR 2007 ، لیسبون ، پرتغال ، 3-8 سپتامبر ، 2007. مجموعه مقالات: منطق و معانی برنامه ها، محاسبات توسط دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR 2007 - تئوری همزمانی: هجدهمین کنفرانس بین المللی ، CONCUR 2007 ، لیسبون ، پرتغال ، 3-8 سپتامبر ، 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR 2007 - تئوری همزمانی: هجدهمین کنفرانس بین المللی ، CONCUR 2007 ، لیسبون ، پرتغال ، 3-8 سپتامبر ، 2007. مجموعه مقالات
هفدهمین کنفرانس بین المللی نظریه همزمانی در لیسبون، پرتغال، در سپتامبر 2007 برگزار شد. در این کنفرانس متخصصان برجسته در نظریه همزمانی حضور داشتند تا یافته های خود را به اشتراک بگذارند و در مورد آخرین تحولات در این زمینه بحث کنند. این جلد مجموعه مقالات داوری کنفرانس است.
30 مقاله کامل به همراه سه مقاله دعوت شده مهم ارائه شده است. خوانندگان بسیاری از یافته ها و کاربردهای مهم را در نظریه همزمانی کشف خواهند کرد.
موضوعات شامل بررسی مدل، محاسبات فرآیند، بررسی کمینه سازی و معادل سازی، انواع، معناشناسی، احتمال، دو شبیه سازی و شبیه سازی، زمان واقعی و زبان های رسمی است.< /P>
توضیحاتی درمورد کتاب به خارجی
The 17th International Conference on Concurrency Theory was held in Lisbon, Portugal, in September 2007. The conference drew leading experts in concurrency theory who came to share their findings and discuss the latest developments in the field. This volume constitutes the refereed proceedings of the conference.
Thirty full papers are presented along with three important invited papers. Readers will discover many important findings and applications in concurrency theory.
Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
فهرست مطالب
Front Matter....Pages -
Mapping the Security Landscape: A Role for Language Techniques....Pages 1-1
The Saga of the Axiomatization of Parallel Composition....Pages 2-16
Rule-Based Modelling of Cellular Signalling....Pages 17-41
Making Random Choices Invisible to the Scheduler....Pages 42-58
Strategy Logic....Pages 59-73
Solving Games Via Three-Valued Abstraction Refinement....Pages 74-89
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness....Pages 90-104
On Modal Refinement and Consistency....Pages 105-119
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems....Pages 120-135
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage....Pages 136-150
A Nice Labelling for Tree-Like Event Structures of Degree 3....Pages 151-165
Causal Message Sequence Charts....Pages 166-180
Checking Coverage for Infinite Collections of Timed Scenarios....Pages 181-196
Is Observational Congruence Axiomatisable in Equational Horn Logic?....Pages 197-211
The Must Preorder Revisited....Pages 212-225
Topology-Dependent Abstractions of Broadcast Networks....Pages 226-240
On the Expressive Power of Global and Local Priority in Process Calculi....Pages 241-255
A Marriage of Rely/Guarantee and Separation Logic....Pages 256-271
Fair Cooperative Multithreading....Pages 272-286
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures....Pages 287-302
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning....Pages 303-316
Compositional Event Structure Semantics for the Internal π -Calculus....Pages 317-332
Interpreting a Finitary Pi-calculus in Differential Interaction Nets....Pages 333-348
Mobility Control Via Passports....Pages 349-363
Coalgebraic Models for Reactive Systems....Pages 364-379
Reactive Systems over Directed Bigraphs....Pages 380-394
Asynchronous Games: Innocence Without Alternation....Pages 395-411
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes....Pages 412-427
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics....Pages 428-444
Timed Concurrent Game Structures....Pages 445-459
Pushdown Module Checking with Imperfect Information....Pages 460-475
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages....Pages 476-491
Temporal Antecedent Failure: Refining Vacuity....Pages 492-506
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
دانلود کتاب Inside Microsoft Dynamics AX 2012 R3
دانلود کتاب Foundations for Architecting Data Solutions: Managing Successful Data Projects
دانلود کتاب Axiom: Volume 11: Axiom Browser
دانلود کتاب Modelowanie i optymalizacja
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
دانلود کتاب Computer Forensics: Computer Crime Scene Investigation
