Reduction of event structures under history preserving bisimulation

سازه های رویداد فرایندهای همزمان را از لحاظ وقایع و روابط وابستگی بین رویدادهایی مانند علیت و درگیری نشان می دهد. از زمان معرفی ساختارهای نخستین رویداد، بسیاری از انواع ساختارهای رویدادی با روابط متفاوتی وابسته و از این رو با تفاوت در قدرت بیانگر آنها ارائه شده است. یکی از مزایای احتمالی استفاده از یک مدل ساختار رویداد بیانگر این است که به دست آوردن یک نمایش جمع و جور تر برای یک رفتار مشابه با استفاده از تعداد کمتر از رویدادها. در این مقاله، مسئله کاهش اندازه یک ساختار رویداد، در حالی که حفظ رفتار آن تحت یک مفهوم کلاسیک از همبستگی رفتاری در طیف همگانی واقعی، یعنی حفظ تاریخ، تقسیم بندی می شود. به طور خاص، ما این مسئله را بر دو تعمیم ساختارهای رویداد نخست بررسی می کنیم: ساختارهای رویداد نامتقارن که بر شکل متقارن جنگ و ساختار رویدادهای جریان متکی هستند، که از یک نوع علیت دیجیتال پشتیبانی می کنند. ما شرایطی را مطرح می کنیم که در آن رویدادهای متمایز در یک ساختار رویداد می تواند به عنوان رخدادهای یک فعالیت در زمینه های مختلف دیده شود و بنابراین بدون تغییر رفتار اصلی می تواند به یک رویداد منفرد تبدیل شود. با تکرار عملیات تاشوئی، هر ساختار محدودی را می توان به یک فرم حداقل کاهش داد، که رفتارا معادل با اصل اول است. این به طور کلی منحصر به فرد نیست، زیرا بستگی به نظم عملیاتی تاشو دارد.