共 26 条
[2]
CONJOINING SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1995, 17 (03)
:507-534
[4]
Alur R, 1995, LECT NOTES COMPUT SC, V939, P166
[5]
Alur R, 1998, LECT NOTES COMPUT SC, V1384, P330, DOI 10.1007/BFb0054181
[6]
Alur R, 1998, LECT NOTES COMPUT SC, V1427, P521, DOI 10.1007/BFb0028774
[7]
[Anonymous], 1996, LECT NOTES COMPUTER
[9]
Berry G., 1988, 842 INRIA
[10]
BERRY G, 1993, POPL 93, P85