27 صفحه ترجمه + متن لاتین

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