共 19 条
[1]
ABRIAL JR, 1996, LNCS, V1164
[2]
BHARADWAJ R, 2000, P 19 DIG AV SYST C
[3]
THE CONCURRENCY WORKBENCH - A SEMANTICS-BASED TOOL FOR THE VERIFICATION OF CONCURRENT SYSTEMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1993, 15 (01)
:36-72
[4]
Cleaveland R., 1995, LNCS, V1019, P153, DOI [10.1007/3-540-60630-08, DOI 10.1007/3-540-60630-08]
[5]
CLEAVELAND R, 1996, LECT NOTES COMPUTER, V1102, P394
[6]
DAMM W, 2001, FORMAL METHODS SYSTE, V19
[7]
Heitmeyer C. L., 1996, ACM Transactions on Software Engineering and Methodology, V5, P231, DOI 10.1145/234426.234431
[8]
Hennessy M., 1988, An algebraic theory of processes
[9]
KICZALES G, 1997, P 11 EUR C OBJ OR PR
[10]
Kruger I., 2000, THESIS TU MUNICH