Compositional reasoning using intervals and time reversal
We apply Interval Temporal Logic (ITL), an established temporal formalism for reasoning about time periods, to extending known facts by looking at them in reverse and then reducing reasoning about infinite time to finite time. Time reversal then helps to compositionally analyse some aspects of concurrent behaviour involving mutual exclusion.
Copyright by IEEE
Citation : Moszkowski, B. (2011) Compositional reasoning using intervals and time reversal. In: Eighteenth International Symposium on Temporal Representation and Reasoning (TIME 2011). Lübeck, Germany, 12-14 September, 2011, Los Alamitos (California): IEEE Computer Society, pp. 107-114.
ISBN : 9781457712425
ISSN : 1530-1311
Research Group : Software Technology Research Laboratory (STRL)
Peer Reviewed : Yes