Compositional reasoning using intervals and time reversal
2011 Eighteenth International Symposium on Temporal Representation and Reasoning (2011)
- DOI: 10.1109/TIME.2011.25
Available from hdl.handle.net
or
Abstract
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.
Author-supplied keywords
Page 1
Compositional reasoning using intervals and time reversal
Plain text is unavailable for this page.
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
1 Reader on Mendeley
by Discipline
100% Mathematics
by Academic Status
100% Ph.D. Student
by Country
100% United Kingdom
Groups
 |