Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings (Lecture Notes in Computer Science)

Luca Aceto, Rocco De Nicola (auth.), Marisa Venturini Zilli (eds.)

قیمت نهایی

۴۰٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۸٪ تخفیف

تخفیف زمان‌دار−۹٬۰۰۰ تومان

۹٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

نسخه اصلی و اورجینال

فایل دیجیتال کامل و بدون دستکاری — همان نسخه‌ای که پس از خرید دریافت می‌کنید.

مشخصات کتاب

نویسنده: Luca Aceto, Rocco De Nicola (auth.), Marisa Venturini Zilli (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: ۱۹۸۷
فرمت: DJVU
زبان: انگلیسی
حجم فایل: ۲٫۲ مگابایت

دربارهٔ کتاب

The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way. Testing equivalences for event structures....Pages 1-20 Designing equivalent semantic models for process creation....Pages 21-80 An outline of the SMoLCS approach....Pages 81-113 Views of distributed systems....Pages 114-143 CCS is an (augmented) contact free C/E system....Pages 144-165 Linear logic and parallelism....Pages 166-182 Universal models in categories for process synchronization....Pages 183-198 On axiomatic defintion of max-model of concurrency....Pages 199-230 Many systems are the result of the cooperation (synchronization, messages exchange) of distinct subsystems.

کتاب‌های مشابه

Future Parallel Computers: An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Proceedings of the NATO Advanced Study Institute on Mathematics and Computer Science in Medical Imaging, held in Il Ciocco, Italy, September 21 - October 4, 1986

۴۹٬۰۰۰ تومان

Parallel Database Systems: Prisma Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings. (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Parallel Database Systems: Prisma Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings. (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Parallel Computation: First International Acpc Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Algebraic Semantics (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Algebraic Semantics (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Algebraic Semantics (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Computational Discrete Mathematics: Advanced Lectures (Lecture Notes in Computer Science, 2122)

۴۹٬۰۰۰ تومان

Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings. (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۰٬۰۰۰ تومان

چه کسانی این کتاب را می‌خوانند

Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings (Lecture Notes in Computer Science)

مشخصات کتاب

دربارهٔ کتاب

کتاب‌های مشابه