Madalene Spezialetti John P. Kearns Simultaneous Regions: A Framework for the Consistent Monitoring of Distributed Systems. 61-69 1989 ICDCS db/conf/icdcs/icdcs89.html#SpezialettiK89