مشخصات کتاب

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: Rance Cleaveland (auth.),  Jos C. M. Baeten,  Sjouke Mauw (eds.)  
سری: Lecture Notes in Computer Science 1664 
ISBN (شابک) : 3540664254, 9783540664253 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 584 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

کلمات کلیدی مربوط به کتاب تئوری همزمانی CONCUR99: دهمین کنفرانس بین المللی آیندهوون ، هلند ، 24 تا 27 اوت 1999 مجموعه مقالات: منطق و معانی برنامه ها، محاسبات توسط دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری

در صورت تبدیل فایل کتاب CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تئوری همزمانی CONCUR99: دهمین کنفرانس بین المللی آیندهوون ، هلند ، 24 تا 27 اوت 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تئوری همزمانی CONCUR99: دهمین کنفرانس بین المللی آیندهوون ، هلند ، 24 تا 27 اوت 1999 مجموعه مقالات

این کتاب مجموعه مقالات دهمین کنفرانس بین المللی تئوری همزمانی، CONCUR'99 است که در آیندهوون، هلند در آگوست 1999 برگزار شد.
32 مقاله کامل اصلاح شده ارائه شده به همراه چهار مشارکت دعوت شده از مجموع 91 مقاله ارسالی انتخاب شدند. . این مقالات به تمام حوزه‌های معناشناسی، منطق، و تکنیک‌های تأیید برای سیستم‌های همزمان، به ویژه جبرهای فرآیند، شبکه‌های پتری، ساختارهای رویداد، سیستم‌های زمان واقعی، سیستم‌های ترکیبی، سیستم‌های تصادفی، قابلیت تصمیم‌گیری، بررسی مدل، تأیید، اصلاح، بازنویسی اصطلاح و نمودار، برنامه نویسی توزیع شده، برنامه نویسی محدودیت منطقی، سیستم های تایپ و غیره.

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

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999.
The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification, refinement, term and graph rewriting, distributed programming, logic constraint programming, typing systems, etc.

فهرست مطالب

Temporal Process Logic....Pages 1-1
An Unfolding Algorithm for Synchronous Products of Transition Systems....Pages 2-20
Petri Nets, Configuration Structures and Higher Dimensional Automata....Pages 21-27
Expressiveness and Distributed Implementation of Concurrent Calculi with Link Mobility....Pages 28-29
Techniques for Decidability and Undecidability of Bisimilarity....Pages 30-45
Testing Concurrent Systems: A Formal Approach....Pages 46-65
Computing Minimum and Maximum Reachability Times in Probabilistic Systems....Pages 66-81
Automating Modular Verification....Pages 82-97
“Next” Heuristic for On-the-Fly Model Checking....Pages 98-113
Model Checking of Message Sequence Charts....Pages 114-129
Synthesis of Large Concurrent Programs via Pairwise Composition....Pages 130-145
Approximative Symbolic Model Checking of Continuous-Time Markov Chains....Pages 146-161
From Synchrony to Asynchrony....Pages 162-177
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic....Pages 178-193
Weak and Strong Composition of High-Level Petri Nets....Pages 194-209
Model Checking of Time Petri Nets Based on Partial Order Semantics....Pages 210-225
Generic Process Algebras for Asynchronous Communication....Pages 226-241
Timed Automata and the Theory of Real Numbers....Pages 242-257
Metrics for Labeled Markov Systems....Pages 258-273
The Expressive Power of Temporal Logic of Actions....Pages 274-286
Object Types against Races....Pages 288-303
Open Bisimulations on Chi Processes....Pages 304-319
Rectangular Hybrid Games....Pages 320-335
Localizability of Fairness Constraints and their Distributed Implementations....Pages 336-353
Generating Type Systems for Process Graphs....Pages 354-367
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time....Pages 368-382
Robust Satisfaction....Pages 383-398
Statecharts via Process Algebra....Pages 399-414
A Partial Order Event Model for Concurrent Objects....Pages 415-430
Partial Order Reduction for Model Checking of Timed Automata....Pages 431-446
On the Semantics of Place/Transition Nets....Pages 447-462
Validating Firewalls in Mobile Ambients....Pages 463-477
On Coherence Properties in Term Rewriting Models of Concurrency....Pages 478-493
Synchronous Structures....Pages 494-508
Weakest-Congruence Results for Livelock-Preserving Equivalences....Pages 510-524
Proof-Checking Protocols Using Bisimulations....Pages 525-540
Event Structures as Presheaves—Two Representation Theorems....Pages 541-556
Subtyping and Locality in Distributed Higher Order Processes....Pages 557-572

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

کتاب های مرتبط

دانلود کتاب Using Microsoft Dynamics AX 2009

دانلود کتاب Supercomputers: Charting the Future of Cybernetics (Science and Technology in Focus)

دانلود کتاب Applied Cryptography and Network Security: 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings

دانلود کتاب Deformable surface 3D reconstruction from monocular images

دانلود کتاب Computers and Games: 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

دانلود کتاب Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

دانلود کتاب Collaborative Computer Security and Trust Management (Premier Reference Source)

دانلود کتاب Learning and Intelligent Optimization: 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers

دانلود کتاب Euro-Par 2009 Parallel Processing: 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings

دانلود کتاب Computer security handbook