دانلود کتاب Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
کتاب مدلینگ رسمی: بازیگران، سیستم‌های باز، سیستم‌های بیولوژیکی: مقاله‌های تقدیم به کارولین تالکوت به مناسبت هفتادمین سالگرد تولد او نسخه زبان اصلی
دانلود کتاب مدلینگ رسمی: بازیگران، سیستم‌های باز، سیستم‌های بیولوژیکی: مقاله‌های تقدیم به کارولین تالکوت به مناسبت هفتادمین سالگرد تولد او بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
نام کتاب : Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
ویرایش : 1
عنوان ترجمه شده به فارسی : مدلینگ رسمی: بازیگران، سیستم‌های باز، سیستم‌های بیولوژیکی: مقاله‌های تقدیم به کارولین تالکوت به مناسبت هفتادمین سالگرد تولد او
سری : Lecture Notes in Computer Science 7000
نویسندگان : Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 465
ISBN (شابک) : 3642249329 , 3642249337
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
Server Error
فهرست مطالب :
Front Matter....Pages -
Two PhD Students for the Price of One....Pages 1-3
Honoring Carolyn Talcott’s Contributions to Science....Pages 4-19
Ten Years of Analyzing Actors: Rebeca Experience....Pages 20-56
Mathematical Models of Object-Based Distributed Systems....Pages 57-73
From Explicit to Symbolic Types for Communication Protocols in CCS....Pages 74-89
Abstract LR-Parsing....Pages 90-109
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision....Pages 110-143
Model Feasible Interactions in Distributed Real-Time Systems....Pages 144-168
Puff, The Magic Protocol....Pages 169-206
A Formal Methodology for Compositional Cross-Layer Optimization....Pages 207-222
From Service Identification to Service Selection: An Interleaved Perspective....Pages 223-240
Towards a System Model for Ensembles....Pages 241-261
Algorithmic Aspects of Risk Management....Pages 262-276
Parameterized Metareasoning in Membership Equational Logic....Pages 277-298
Fast Sort Computations for Order-Sorted Matching and Unification....Pages 299-314
Solving the First Verified Software Competition Problems Using PVS....Pages 315-328
Towards a Maude Formal Environment....Pages 329-351
Multisimulations: Towards Next Generation Integrated Simulation Environments....Pages 352-367
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude....Pages 368-402
Computational Biology: A Programming Perspective....Pages 403-433
Applications of Pathway Logic Modeling to Target Identification....Pages 434-445
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.
Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology.
The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.