دانلود کتاب PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
کتاب PARLE Parallel Architectures and Languages اروپا: جلد دوم: زبان های موازی آیندهوون، هلند، 15–19 ژوئن 1987 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب PARLE Parallel Architectures and Languages اروپا: جلد دوم: زبان های موازی آیندهوون، هلند، 15–19 ژوئن 1987 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
نام کتاب : PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : PARLE Parallel Architectures and Languages اروپا: جلد دوم: زبان های موازی آیندهوون، هلند، 15–19 ژوئن 1987 مجموعه مقالات
سری : Lecture Notes in Computer Science 259
نویسندگان : Arvind, Rishiyur S. Nikhil (auth.), J. W. de Bakker, A. J. Nijman, P. C. Treleaven (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1987
تعداد صفحات : 476
ISBN (شابک) : 3540179453 , 9783540179450
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Executing a program on the MIT Tagged-Token Dataflow architecture....Pages 1-29
PARLOG: The language and its applications....Pages 30-53
Functional programming and communicating processes....Pages 54-74
Garbage collection in a distributed environment....Pages 75-93
Decidability of bisimulation equivalence for processes generating context-free languages....Pages 94-111
An approach to programming process interconnection structures: Aggregate rewriting graph grammars....Pages 112-123
Specifying functional and timing behavior for real-time applications....Pages 124-140
Term graph rewriting....Pages 141-158
Towards an intermediate language based on Graph Rewriting....Pages 159-175
Distributed garbage collection using reference counting....Pages 176-187
Rigorous development of a distributed calendar system....Pages 188-205
A reduction semantics for imperative higher-order languages....Pages 206-223
Petri net models for algebraic theories of concurrency....Pages 224-242
A computational model for distributed systems using operator nets....Pages 243-260
Design and proof of communicating sequential processes....Pages 261-276
Parallel programming in Temporal Logic....Pages 277-296
"Ruth: A functional language for real-time programming"....Pages 297-314
A compositional proof theory for real-time distributed message passing....Pages 315-332
STREAM: A scheme language for formally describing digital circuits....Pages 333-350
A fully abstract semantics for data flow nets....Pages 351-368
The concurrent assignment representation of synchronous systems....Pages 369-386
A new and efficient implementation of multiprocess synchronization....Pages 387-401
Rewriting techniques for the temporal analysis of communicating processes....Pages 402-419
Optimistic and-parallelism in Prolog....Pages 420-431
An efficient garbage collection scheme for parallel computer architectures....Pages 432-443
Task sequencing language for specifying distributed Ada systems TSL-1....Pages 444-463
پست ها تصادفی