1. Lamport Algorithm Using Colored Petri Net with the Aim of Evaluating and Increasing Fault Tolerancy-Modeling Chandy

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Formal Method, Asynchronous Distributed System, Verification, Model Checking, Global State, Distributed Snapshot, Fault tolerancy,روش صوری ، سیستم توزیع غیر همزمان ، تأیید ، بررسی مدل ، حالت کلی ، تصویر گیری توزیع شده ، تحمل خطا