فرمت فایل :word (قابل ویرایش) تعداد صفحات 28صفحه
معناشناسی با قاعده ی آنالیز spi:
دراین بخش ما رفتارهای ازمحاسبه spi را شروع می کنیم.دربخش 1-4رابطه‌ی عکس را معرفی می‌کنیم، بدین معناست که یک تقابل بین روش فرعیp است که تمام آن می تواند به سمت فرایند (روش)Q پیش رود. تقابل هدف اصلی محاسبه درهردوآنالیز pi است . ما دربخش 2-4 ، تعریف دقیقی ازرابطه ی تعادل راارائه می دهیم که برای بیان ویژگی امنیت به کار گرفته ایم.
قواعد دستوری
گرامر( دستور) آنالیزspi دربخش 3-2 و 1-3 ارائه شده است . این گرامر دو دسته بندی دستوری دارد ، گرامر terms که توسط L,M,N تنظیم شده است (پوشانده شده ) وگرامرprocesses که توسط R,Q,R تنظیم شده است .
فرامتغیرهای m,n,p,q,r یک سری محدودی از names ( نام ها) رابرمی گیرند. فرامتغیرها z,y,x یک نقطه ، یعنی یک سری نامحدود variables (متغیرها) رادربرمی گیرند.
تحقیق درباره معناشناسی با قاعده ی spi
