共 188 条
[1]
CONJOINING SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1995, 17 (03)
:507-534
[2]
AGHA G, 1997, J FUNCTIONAL PROGRA, V7, P172
[3]
AGHA GA, 1986, ACTORS MODEL CONCUR
[4]
ALLEN R, 1994, PROC INT CONF SOFTW, P71, DOI 10.1109/ICSE.1994.296767
[6]
Angiolini F, 2006, DES AUT TEST EUROPE, P1145
[7]
[Anonymous], 2000, COMPUTERS COMPONENTS
[8]
[Anonymous], 2005, TRANSACTION LEVEL MO
[9]
[Anonymous], AMB SPEC
[10]
[Anonymous], LABV