ترجمه فارسی (ترجمه ماشینی)
این کتاب یک مقدمه گسترده برای LOTOS ارائه میکند که نشان میدهد چگونه رویکرد با تکنیکهای رقبا مانند CCS و CSP متفاوت است. نماد با تعدادی مثال در حال اجرا نشان داده شده است و با استفاده از محاسبات فرآیند LOTOS طیفی از مدل های معنایی برای سیستم های همزمان بررسی می شود. به طور خاص، معناشناسی زمان خطی. بر اساس آثار؛ معناشناسی انشعاب-زمان; با استفاده از هر دو سیستم انتقال برچسبگذاری شده و امتناع، برای برجسته کردن معنای همزمانی واقعی با استفاده از ساختارهای رویداد استفاده میشود. علاوه بر این، یک پسوند زمانبندیشده ساده برای LOTOS با استفاده از مثالهای در حال اجرا معرفی میشود، که این امکان را فراهم میآورد که چگونه مدلهای معنایی زمانبندی نشده – ردیابیها، سیستمهای انتقال برچسبگذاریشده، امتناعها و ساختارهای رویداد – را میتوان به تنظیمات زمانبندی شده تعمیم داد. نویسندگان همچنین نمادهای خودکار ارتباطی ساده را تعمیم میدهند تا خودکارهای زماندار را با همگامسازی چند طرفه با استفاده از روشهای تأیید بررسی مدل و تکنیکهای جدید برای جلوگیری از ایجاد قفلهای زمانی به دست آورند.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.