دانلود کتاب Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Name: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Availability: InStock
Author: Johan van Benthem (auth.)
ISBN: 9783540510802, 9783540461470

by Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

عنوان فارسی: زمان خطی ، شاخه زمان و جزئی سفارش در منطق و مدل برای همزمانی : مدرسه / کارگاه، Noordwijkerhout ، هلند مه 30 - 1988 ژوئن 3
ناشر: Springer-Verlag Berlin Heidelberg
سال: 1989
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 718-721
شابک: 9783540510802, 9783540461470
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 14.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.