| |
|
| |
ACM Trans. Model. Comput. Simul., Vol. 9, No. 3. (1999), pp. 254-281.
|
| |
In IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing (2003)
|
| |
Integrated Formal Methods (2009), pp. 20-38.
|
| |
Theor. Comput. Sci. In Process Algebra, Vol. 335, No. 2-3. (23 May 2005), pp. 131-146.
|
| |
CONCUR '90 Theories of Concurrency: Unification and Extension (1990), pp. 278-297.
|
| |
In WSC '08: Proceedings of the 40th Conference on Winter Simulation (2008), pp. 703-711.
|
| |
|
| |
In in Proceedings of the 1994 Winter Simulation Conference (1994), pp. 566-573.
|
| |
Theor. Comput. Sci., Vol. 362, No. 1. (2006), pp. 1-16.
|
| |
ArXiv Mathematics e-prints (February 2003)
|
| |
Theoretical Computer Science, Vol. 126, No. 2. (25 April 1994), pp. 183-235.
|
| |
|
| |
ACM Trans. Model. Comput. Simul., Vol. 12, No. 4. (October 2002), pp. 343-368.
|
| |
In WSC '79: Proceedings of the 11th conference on Winter simulation (1979), pp. 391-397.
|
| |
Quantitative Evaluation of Computing and Communication Systems (1995), pp. 102-116.
|
| |
|
| |
In WSC '06: Proceedings of the 38th conference on Winter simulation (2006), pp. 1946-1953.
|
CiteULike
fierykylin's CiteULike
Search
Export
