Reasoning about timeouts

DOI10.1007/3-540-45442-X_7MaRDI QIDQ4808689zbMATH OpenFDO

Authors Ian Hayes

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2386/23860094.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On Specifying Timeouts
• A decidable fixpoint logic for time-outs
• scientific article; zbMATH DE number 1182796
• Efficient management of multiple outstanding timeouts
• Reasoning about time in the situation calculus
• A decidable timeout-based extension of linear temporal logic
• Approximate reasoning with time
• Dynamics of a time-outs management system
• On the rational behaviors of concurrent timers

This page was built for publication: Reasoning about timeouts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808689)