A note on knowledge-based programs and specifications

• 1 July 2000
• journal article
• research article
• Published by Springer Nature in Distributed Computing
• Vol. 13  (3) , 145-153
• https://doi.org/10.1007/pl00008916

Abstract

Keywords

• GENERAL CLASS
• MONOTONICITY PROPERTY
• STANDARD PROGRAM
• EXPLICIT TEST
• COUNTERINTUITIVE PROPERTY

All Related Versions

• Version 1, 2000-03-14, ArXiv (Unconfirmed version)