دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Jens Chr. Godskesen, Kim G. Larsen (auth.), S. Purushothaman PhD, Amy Zwarico (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540198222, 9781447132172 ناشر: Springer-Verlag London سال نشر: 1993 تعداد صفحات: 243 [244] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
در صورت تبدیل فایل کتاب NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب NAPAW 92: مجموعه مقالات اولین کارگاه جبر فرآیند آمریکای شمالی، استونی بروک، نیویورک، ایالات متحده آمریکا، 28 اوت 1992 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل مقالاتی از کارگاه جبر فرآیند آمریکای شمالی است که در استونی بروک، نیویورک، 28 اوت 1992 برگزار شد. این اولین کارگاه از یک سری کارگاه های پیشنهادی بود که هدف آن افزایش آگاهی از جبرهای فرآیندی در ایالات متحده و کانادا بود. برای ترویج استفاده و توسعه آنها. این کارگاه همزمان با کنفرانس سالانه تئوری های همزمانی CONCUR 92 برگزار شد. این یک انجمن مهم برای بحث و تبادل نظر فراهم کرد، و اجازه داد پیشرفتهای اخیر در کاربرد تکنیکهای جبری در نظریه همزمانی ارائه شود. حجم حاصل، مقطع خوبی از کار تحقیقاتی جاری در کانادا، ایالات متحده آمریکا و اروپا را ارائه می دهد. از جمله موضوعات خاص تحت پوشش عبارتند از: محاسبات بلادرنگ و قضایای بسط. منطق مودال در جبر فرآیند زماندار محیط ارتباطی فرآیند؛ محاسبات فرآیندی با اولویت های غیر قابل مقایسه؛ رسیدگی به استثنا در جبر فرآیندی. دو شبیه سازی در ساختارهای مشاهده محاسبات شبیه سازی های آماده به طور کارآمد؛ تجزیه و تحلیل عوامل CCS عبور دهنده ارزش با انواع بی نهایت. گسترش روش تست برای فرآیندهایی که مقادیر بی نهایت را رد می کنند. معناشناسی سازنده؛ یک معناشناسی مبتنی بر علیت برای CCS. NAPAW 92 نمای کلی جامعی از این حوزه مهم و نوظهور علوم کامپیوتر ارائه می دهد. این مطالعه ضروری را هم برای دانشجویان کارشناسی ارشد و هم برای محققان در صنعت و دانشگاه فراهم می کند.
This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and development. The workshop was held simultaneously with CONCUR 92, the annual conference on concurrency theories. It provided an important forum for the discussion and exchange of ideas, and allowed recent developments in the application of algebraic techniques to concurrency theory to be presented. The resulting volume provides a good cross-section of current research work in Canada, USA and Europe. Among the specific topics covered are: real-time calculi and expansion theorems; modal logics in timed process algebra; process communication environment; a process calculus with incomparable priorities; exception handling in process algebra; bisimulations on observation structures; computing ready simulations efficiently; analysis of value-passing CCS agents with infinite sorts; an extension of the testing method for processes passing infinite values; constructive semantics; a causality-based semantics for CCS. NAPAW 92 provides an comprehensive overview of this important, up-and-coming area of computer science. It will provide essential reading for both postgraduate students and researchers in industry and academia.