A note on knowledge-based programs and specifications

被引：0
|
作者：
Joseph Y. Halpern
机构：
[1] Computer Science Department,
[2] Cornell University,undefined
[3] Ithaca,undefined
[4] NY 14853,undefined
[5] USA (e-mail: halpern@cs.cornell.edu,undefined
[6] http://www.cs.cornell.edu/home/halpern) ,undefined
来源：
Distributed Computing | 2000年 / 13卷
关键词：
General Class; Monotonicity Property; Standard Program; Explicit Test; Counterintuitive Property;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：145 / 153
页数：8
相关论文
共 50 条
12345