دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) سری: Lecture Notes in Computer Science 3525 Theoretical Computer Science and General Issues ISBN (شابک) : 9783540258131, 9783540322658 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 334 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب برقراری ارتباط فرایندهای متوالی. 25 سال اول: سمپوزیوم به مناسبت 25 سال از CSP ، لندن ، انگلستان ، 7-8 ژوئیه ، 2004. مقالات تجدید نظر شده دعوت شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برقراری ارتباط فرایندهای متوالی. 25 سال اول: سمپوزیوم به مناسبت 25 سال از CSP ، لندن ، انگلستان ، 7-8 ژوئیه ، 2004. مقالات تجدید نظر شده دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد، مانند سمپوزیوم CSP25 که منجر به پیدایش آن شد، یادبود نیمه سالگرد ارتباط فرآیندهای متوالی است. 1 مقاله تونی هور "ارتباط فرآیندهای متوالی" امروزه به طور گسترده به عنوان یکی از معتبرترین مقالات در علوم کامپیوتر در نظر گرفته می شود. برای بزرگداشت آن، رویدادی تحت نظارت BCS-FACS (گروه تخصصی جنبههای رسمی علوم محاسباتی انجمن کامپیوتر بریتانیا) برگزار شد. CSP25 یکی از مجموعهای از چنین رویدادهایی بود که برای برجسته کردن استفاده از روشهای رسمی، تأکید بر ارتباط آنها با محاسبات مدرن و ترویج کاربرد گستردهتر آنها برگزار شد. BCS-FACS مفتخر است که تونی هور ایده های اصلی خود را در مورد CSP در یکی از اولین نشست های خود در سال 1978 ارائه کرد. این رویداد دو روزه، 7 تا 8 ژوئیه 2004، توسط موسسه تحقیقات محاسباتی دانشگاه بانک جنوبی لندن برگزار شد. ، دانشکده بازرگانی، محاسبات و مدیریت اطلاعات. هدف این بود که از مشارکت CSP در ربع قرن اول در علم رایانه تجلیل، تأمل و نگاه کنیم. در این نشست تأثیر CSP بر بسیاری از حوزهها از معناشناسی (مدلهای ریاضی برای درک همزمانی و ارتباطات) و منطق (برای استدلال در مورد رفتار)، از طریق طراحی زبانهای برنامهنویسی موازی (i/o، موازیسازی، همگامسازی و رشتهها) تا نرمافزارهای کاربردی و توزیعشده مورد بررسی قرار گرفت. محاسبات موازی با امنیت اطلاعات، خدمات وب و مدارهای سخت افزاری همزمان. این شامل یک میزگرد با اعضای میزگرد بروکز، هور، دوروور و روسکو (به ریاست جِی ساندرز)، ارائه پوستر توسط دانشجویان دکترا و دیگران بود، زنگ هشدار مجدد (که نیاز به تخلیه در باران دارد!) و با ارائه یک خودکار به پروفسور Sir C. A. R. Hoare.
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its ?rst meetings, in 1978. The two-day event, 7–8 July 2004, was hosted by London South Bank U- versity’s Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re?ect upon and look beyondthe?rstquarter-centuryofCSP’scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je? Sanders), poster presentations by PhD students and others, featured a ?re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.
Front Matter....Pages -
Retracing the Semantics of CSP....Pages 1-14
Seeing Beyond Divergence....Pages 15-35
Process Algebra: A Unifying Approach....Pages 36-60
Linking Theories of Concurrency....Pages 61-74
CSP, occam and Transputers....Pages 75-84
Models for Data-Flow Sequential Processes....Pages 85-97
Implementation of Handshake Components....Pages 98-132
A Trace Semantics for Long-Running Transactions....Pages 133-150
Practical Application of CSP and FDR to Software Design....Pages 151-174
Communicating Mobile Processes....Pages 175-210
Model-Based Design of Concurrent Programs....Pages 211-219
Of Probabilistic wp and CSP —and Compositionality....Pages 220-241
Order, Topology, and Recursion Induction in CSP ....Pages 242-242
Verifying Security Protocols: An Application of CSP....Pages 243-263
Shedding Light on Haunted Corners of Information Security....Pages 264-264
Operational Semantics for Fun and Profit....Pages 265-274
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations....Pages 275-291
Industrial Strength CSP: Opportunities and Challenges in Model-Checking....Pages 292-292
Applied Formal Methods – From CSP to Executable Hybrid Specifications....Pages 293-320
Back Matter....Pages -