Integrating Behavioural and Simulation Modelling
暂无分享,去创建一个
[1] Christoph Lindemann,et al. DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.
[2] R. J. Pooley. Formalising the description of process based simulation models , 1995 .
[3] William R. Franta,et al. The process view of simulation , 1977 .
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[6] Colin Stirling,et al. Modal and Temporal Logics for Processes , 1996, Banff Higher Order Workshop.
[7] Lee W. Schruben,et al. Structural and behavioral equivalence of simulation models , 1992, TOMC.
[8] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.
[9] Graham Berrisford,et al. Discrete Event Modelling , 1996, OOIS.
[10] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.
[11] Thomas J. Schriber,et al. Simulation Using GPSS , 1974 .