共 35 条
- [1] Abrams M., 1988, 1988 Winter Simulation Conference Proceedings (IEEE Cat. No.88CG2659-1), P210, DOI 10.1145/318123.318191
- [2] SYNCHRONIZING RESOURCES [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04): : 405 - 430
- [3] BAEZNER D, 1990, 1990 P SCS MULT DIST, P211
- [5] BAGRODIA RL, 1992, 1992 WINTER SIMULATION CONFERENCE PROCEEDINGS, P637, DOI 10.1145/167293.167655
- [6] BAGRODIA RL, 1993, MAISIE USER MANUAL
- [7] BAGRODIA RL, 1990, 1990 P SCS MULT DIST, P205
- [8] BAGRODIA RL, 1991, ACM T MODELING COMPU, V2, P348
- [9] BRYANT RE, 1977, MITLCSTR188 TECH REP
- [10] CHANDY KM, 1989, 1989 P SCS MULT DIST, P93