ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

دانلود کتاب CONCUR '95: Concurrency Theory: ششمین کنفرانس بین المللی فیلادلفیا، PA، ایالات متحده آمریکا، 21-24 اوت 1995 مجموعه مقالات

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

مشخصات کتاب

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 962 
ISBN (شابک) : 9783540602187, 9783540447382 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1995 
تعداد صفحات: 558 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

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



کلمات کلیدی مربوط به کتاب CONCUR '95: Concurrency Theory: ششمین کنفرانس بین المللی فیلادلفیا، PA، ایالات متحده آمریکا، 21-24 اوت 1995 مجموعه مقالات: است



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

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


در صورت تبدیل فایل کتاب CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب CONCUR '95: Concurrency Theory: ششمین کنفرانس بین المللی فیلادلفیا، PA، ایالات متحده آمریکا، 21-24 اوت 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب CONCUR '95: Concurrency Theory: ششمین کنفرانس بین المللی فیلادلفیا، PA، ایالات متحده آمریکا، 21-24 اوت 1995 مجموعه مقالات



این کتاب مجموعه مقالات ششمین کنفرانس بین المللی نظریه همزمانی، CONCUR '95 است که در فیلادلفیا، پنسیلوانیا در آگوست 1995 برگزار شد.
این جلد شامل هفت مشارکت دعوت شده توسط محققان برجسته و 33 مقاله پژوهشی کامل داوری شده است که توسط کمیته برنامه از مجموع 91 ارسال. مجموعه مقالات نمای کلی از آنچه در این حوزه تحقیقاتی رخ داده است، از زمان آخرین کنفرانس CONCUR ارائه می دهد. بخش‌هایی در بررسی مدل، فرآیندهای سیار، نظریه فرآیند، همزمانی واقعی، جبر فرآیند، اتوماتای ​​احتمالی، سیستم‌های زمان واقعی، معناشناسی آزمایش، نتایج تصمیم‌پذیری، تئوری پالایش و منطق‌های زمان خطی وجود دارد.


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

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.



فهرست مطالب

Local model checking games (extended abstract)....Pages 1-11
Compositional proof systems for model checking infinite state processes....Pages 12-26
Compositional model checking of real time systems....Pages 27-41
Checking bisimilarity for finitary π-calculus....Pages 42-56
The weak late π-calculus semantics as observation equivalence....Pages 57-71
The fixpoint-analysis machine....Pages 72-87
Unique fixpoint induction for mobile processes....Pages 88-102
A polymorphic type system for the polyadic π-calculus....Pages 103-116
Fibrational control structures....Pages 117-129
Fully abstract models for nondeterministic regular expressions....Pages 130-144
A Petri net semantics for π-calculus....Pages 145-159
A complete theory of deterministic event structures....Pages 160-174
Characterizing behavioural congruences for Petri nets....Pages 175-189
Verification of a distributed summation algorithm....Pages 190-203
Confluence for process verification....Pages 204-218
Axiomatisations of weak equivalences for De Simone languages....Pages 219-233
A compositional trace-based semantics for probabilistic automata....Pages 234-248
Acceptance trees for probabilistic processes....Pages 249-263
Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering....Pages 264-268
Towards a denotational semantics for ET-LOTOS....Pages 269-283
Reachability analysis at procedure level through timing coincidence....Pages 284-298
Faster asynchronous systems....Pages 299-312
Fair testing....Pages 313-327
Formal methods technology transfer: Impediments and innovation (abstract)....Pages 328-332
Decidability of simulation and bisimulation between lossy channel systems and finite state systems....Pages 333-347
Checking regular properties of Petri nets....Pages 348-362
Metric predicate transformers: Towards a notion of refinement for concurrency....Pages 363-377
A refinement theory that supports both ’decrease of nondeterminism’ and ’increase of parallelism’....Pages 378-392
Model checking and efficient automation of temporal reasoning....Pages 393-394
Verifying parameterized networks using abstraction and regular languages....Pages 395-407
On the complexity of branching modular model checking....Pages 408-422
Axiomatising linear time mu-calculus....Pages 423-437
A trace consistent subset of PTL....Pages 438-452
Tutorial: Proving properties of concurrent systems with SPIN....Pages 453-455
On sharing and determinacy in concurrent systems....Pages 456-470
Process semantics of graph reduction....Pages 471-485
Bisimulations for a calculus of broadcasting systems....Pages 486-500
Delayed choice for process algebra with abstraction....Pages 501-515
CTR: A calculus of timed refinement....Pages 516-530
Temporal logic + timed automata: Expressiveness and decidability....Pages 531-545




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی