A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs
TENCON '91. Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Temporal logic is widely acclaimed to be a highly successful tool for analyzing non-real-time properties of programs. However, a few fundamental problems arise while designing temporal logic-based techniques to verify real-time properties of programs. In this context, we formulateamodallogiccalleddishibufed Iogic (DL) byusingideas from both the interleaving and partial ordering approach. This logic uses spatial modal operators in addition to temporal operators for representing real-timed
doi:10.1109/tencon.1991.729671
fatcat:ehtsdv7xqrfelbtyc2jekrn7vu