دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
دانلود کتاب ساختارهای نظریه همزمانی: مجموعه مقالات کارگاه بین المللی ساختارهای نظریه همزمانی (STRICT) ، برلین ، 11 تا 13 مه 1995
مشخصات کتاب
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
ویرایش: 1 نویسندگان: J. W. de Bakker (auth.), Jörg Desel Dr. rer. nat. (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540199823, 9781447130789 ناشر: Springer-Verlag London سال نشر: 1995 تعداد صفحات: 363 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب ساختارهای نظریه همزمانی: مجموعه مقالات کارگاه بین المللی ساختارهای نظریه همزمانی (STRICT) ، برلین ، 11 تا 13 مه 1995: ریاضیات محاسباتی و آنالیز عددی
در صورت تبدیل فایل کتاب Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساختارهای نظریه همزمانی: مجموعه مقالات کارگاه بین المللی ساختارهای نظریه همزمانی (STRICT) ، برلین ، 11 تا 13 مه 1995 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ساختارهای نظریه همزمانی: مجموعه مقالات کارگاه بین المللی ساختارهای نظریه همزمانی (STRICT) ، برلین ، 11 تا 13 مه 1995
این کتاب مجموعه مقالات کارگاه آموزشی ساختارها در نظریه همزمانی (STRICT) است که از 11 تا 13 می 1995 در برلین آلمان برگزار شد. این شامل سه مشارکت دعوت شده - توسط J. de Bakker، E. Best et aI، و E. R. Olderog و M. Schenke - و همه مقالاتی است که برای ارائه ارسال و پذیرفته شده اند. نظریه همزمانی به جنبه های رسمی سیستم های همزمان می پردازد. از فرمالیسم ها و ساختارهای تا حدی رقیب و تا حدی مکمل استفاده می کند. هدف این کارگاه ارائه و مقایسه فرمالیسم ها و نتایج مختلف در نظریه همزمانی بود. STRICT توسط دانشگاه هومبولت برلین و گروه کاری تحقیقات پایه ESPRIT CALIBAN سازماندهی شد. مقالات اصلی از همه دانشمندان در زمینه نظریه همزمانی جستجو شده بود. کمیته برنامه بیست مشارکت را با موضوعات مختلف انتخاب کرد، از جمله شبکه های پتری، جبرهای فرآیند، الگوریتم های توزیع شده، معناشناسی رسمی و موارد دیگر. من از کمیته برنامه و سایر داوران برای ارزیابی دقیق مقالات ارسالی سپاسگزارم.
توضیحاتی درمورد کتاب به خارجی
This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.
فهرست مطالب
Front Matter....Pages i-x
The Three Dimensions of Semantics....Pages 1-1
CALIBAN - Esprit Basic Research WG 6067....Pages 2-31
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications....Pages 32-54
Conformance: A Precongruence close to Bisimilarity....Pages 55-68
On The Synchronic Structure of Transition Systems....Pages 69-84
An M-net Semantics of B ( PN ) 2 ....Pages 85-100
Graphs for Generalized Traces....Pages 101-115
Orbits, half-frozen tokens and the liveness of weighted circuits....Pages 116-128
An Observational Semantics for Linda....Pages 129-143
Refinement and Recursion in a High Level Petri Box Calculus....Pages 144-159
Sequentiality by Linear Implication and Universal Quantification....Pages 160-174
Linear Space Algorithm for On-line Detection of Global Predicates....Pages 175-189
A Simple Decision Method for the Linear Time Mu-calculus....Pages 190-204
Message passing mutex....Pages 205-219
Possible and Guaranteed Concurrency in CSP....Pages 220-235
Metric completion versus ideal completion....Pages 236-248
Keeping Track of the Latest Gossip in Message-Passing Systems....Pages 249-263
A Local Presentation of Synchronizing Systems....Pages 264-278
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes....Pages 279-293
An Event-Based SOS for a Language with Refinement....Pages 294-309
On the Computation of Place Invariants for Algebraic Petri Nets....Pages 310-325
Failure-based Equivalences Are Faster Than Many Believe....Pages 326-340
Partial Order Semantics and Weak Fairness....Pages 341-350
Back Matter....Pages 351-354
نظرات کاربران
کتاب های تصادفی
دانلود کتاب High-Performance Scientific Computing: Algorithms and Applications
دانلود کتاب El Color Que Cayo del Cielo
دانلود کتاب The Routledge Atlas of Classical History: From 1700 BC to AD 565
دانلود کتاب Parejas parejas: Hombres que comparten la vida con mujeres poderosas
