Vi presenterar ett allmänt protokoll för att upptäcka om en fastighet har i ett distribuerat system, där fastigheten är medlem i en underklass av stabila fastigheter som vi kallar de lokalt stabila fastigheterna. Vårt protokoll är baserat på en decentraliserad metod för att bygga en maximal delmängd av de lokala staterna som är ömsesidigt konsekventa, som i sin tur bygger på en försvagad version pf vektor tidsstämplar. Strukturen av vårt protokoll lämpar sig för förfining, och vi visar dess nytta genom att härleda några specialiserade egendom-detektion protokoll, inklusive två tidigare kända protokoll som är kända för att vara effektiva. Observera att lokala evenemang, skicka evenemang och/eller ta emot evenemang kan vara relevanta, beroende på hur _ formuleras. Vårt protokoll är baserat på en variant av vektor klockor [Mat89]. I den vanliga definitionen av en vektorklocka V, varje händelse ei har en n-komponent vektor Komponenterna i V(ei) är: är antalet händelser som Pi har utfört upp till och med e_. 1Vissa författare definierar en invariant egenskap som en som är giltig i alla tillstånd i systemet. • V(el) [j], j # i är antalet händelser pj har utfört som kausalt t föregår e i. Som ett exempel visar figur 1 ett tidsschema för ett tvåprocesssystem med händelser märkta med vektorur. ,0? - Vad menar du med det?  _= e_ och ej är klart konsekventa
Ett nyare arbete föreslog en metod för att upptäcka lokalt stabila egenskaper genom att bygga delstater av ett system REF.