• Citations Per Year
Learn More
1 I n t r o d u c t i o n Recently, there has been a lot of interest in the logics of knowledge and time as a tool for analyzing the behavior of distributed systems. In [HV89], Halpern and Vardi categorize these logics in terms of two parameters: the language used and the class of distributed systems considered. The languages they consider depend on the(More)
  • 1