دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) سری: Lecture Notes in Computer Science 354 ISBN (شابک) : 9783540510802, 9783540461470 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1989 تعداد صفحات: 721 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
کلمات کلیدی مربوط به کتاب زمان خطی، زمان بندی و نظم جزئی در منطق و مدل برای همپوشانی: مدرسه / کارگاه، Noordwijkerhout، هلند 30 مه - 3 ژوئن 1988: تکنیک های برنامه نویسی، ساختارهای کنترل و میکروبرنامه نویسی، معماری پردازنده، شبکه های ارتباطی کامپیوتری، سیستم عامل ها، ساختارهای داده
در صورت تبدیل فایل کتاب Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زمان خطی، زمان بندی و نظم جزئی در منطق و مدل برای همپوشانی: مدرسه / کارگاه، Noordwijkerhout، هلند 30 مه - 3 ژوئن 1988 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد بر اساس \"مدرسه/کارگاه آموزشی زمان خطی، زمان انشعاب و نظم جزئی در منطق و مدلها برای همزمانی\" است که توسط ویراستاران سازماندهی شده و در دوره 30 مه تا 3 ژوئن 1988 در Noordwijkerhout برگزار شده است. هلند. مدرسه/کارگاه فعالیتی از پروژه REX - تحقیق و آموزش در سیستم های همزمان بود. این جلد شامل آموزش ها و مشارکت های پژوهشی در سه رویکرد - زمان خطی، - زمان انشعاب، و - نظم جزئی در معناشناسی و نظریه اثبات برنامه های همزمان توسط متخصصان اصلی این حوزه است. درک عمیقی از مزایا و معایب نسبی این سه رویکرد را ترویج می کند. مقدمه ای بر ادبیات اخیر در مورد این موضوع توسط مشارکت های پژوهشی دعوت شده ارائه شده است.
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.
Time, logic and computation....Pages 1-49
Process theory based on bisimulation semantics....Pages 50-122
Branching time temporal logic....Pages 123-172
Observing processes....Pages 173-200
The anchored version of the temporal framework....Pages 201-284
Basic notions of trace theory....Pages 285-363
An introduction to event structures....Pages 364-397
A logic for the description of behaviours and properties of concurrent systems....Pages 398-410
Permutation of transitions: An event structure semantics for CCS and SCCS....Pages 411-427
Expressibility results for linear-time and branching-time logics....Pages 428-437
Partial orderings descriptions and observations of nondeterministic concurrent processes....Pages 438-466
Modeling concurrency by partial orders and nonlinear transition systems....Pages 467-488
An efficient verification method for parallel and distributed programs....Pages 489-507
A logic for distributed transition systems....Pages 508-522
Fully abstract models for a process language with refinement....Pages 523-548
Strong bisimilarity on nets: A new concept for comparing net semantics....Pages 549-573
Nets of processes and data flow....Pages 574-602
Towards a temporal logic for causality and choice in distributed systems....Pages 603-627
Correctness and full abstraction of metric semantics for concurrency....Pages 628-659
Temporal logics for CCS....Pages 660-672
Behavioural presentations....Pages 673-689
Computation tree logic and regular ω-languages....Pages 690-713