共 11 条
[1]
[Anonymous], 1989, EMPERORS NEW MIND
[2]
Brooks Jr Frederick P., 1995, The Mythical Man-month: Essays on Software Engineering
[3]
Manna Zohar, 1992, The Temporal Logic of Reactive and Concurrent Systems: Specification
[5]
Simon H.A., 1982, SCI ARTIFICIAL, V2nd
[6]
TURING A, 1950, MIND, V59, P33
[7]
WEGNER P, 1993, RES DIRECTION CONCUR, P22
[8]
WEGNER P, 1997, HDB COMPUTER SCI ENG
[9]
WEGNER P, 1995, IEEE COMPUT, V28, P70
[10]
WEGNER P, CS971 WWWCSBROWNEDUP