مقدمه طراحی به روش پیمانه ای و مؤلفه گرا تعامل پیمانه ها با یکدیگر واسط بین پیمانه ها زبان هماهنگ سازی ریو سیستم های همروند مبتنی بر مؤلفه کانال ها معنی ریو قابل بیان با ماشین محدودیت ریو با کانال های گم کننده یا خراب کننده پیام قابل بیان با ماشین محدودیت احتمالی چالش ها رئوس مطالب انواع کانال ها در ریو مدارهای ریو ماشین محدودیت معادل هر کانال کانال های گم کننده پیام و ماشین محدودیت احتمالی ساده کانال های سنکرون و ماشین محدودیت احتمالی بررسی منطق زمانی (PCTL) نتیج ...