共 46 条
[1]
[Anonymous], P 16 ACM S PRINC PRO
[2]
[Anonymous], 1994, OPERATING SYSTEM CON
[3]
ANUCHITANUKUL A, 1994, LECT NOTES COMPUTER, V818, P156
[7]
Synthesis of concurrent programs for an atomic read/write model of computation
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2001, 23 (02)
:187-242
[8]
Synthesis of concurrent systems with many similar processes
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1998, 20 (01)
:51-115
[9]
ATTIE PC, 1999, LECT NOTES COMPUTER, V1664
[10]
ATTIE PC, 1996, 15 ANN ACM S PRINC D, P111