دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) سری: Lecture Notes in Computer Science 962 ISBN (شابک) : 9783540602187, 9783540447382 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 558 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب CONCUR '95: Concurrency Theory: ششمین کنفرانس بین المللی فیلادلفیا، PA، ایالات متحده آمریکا، 21-24 اوت 1995 مجموعه مقالات: است
در صورت تبدیل فایل کتاب 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
