A Denotational Semantics for a Process-Based Simulation Language

ACM Transactions on Modeling and Computer Simulation

Volumn 8, Issue 3, 1998, Pages 281-304

  Tofts, Chris ^a   Birtwistle, Graham ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Discrete event simulation; Process algebra; Semantics

Indexed keywords

COMPUTER SIMULATION; LARGE SCALE SYSTEMS; RANDOM PROCESSES; SEMANTICS;

DISCRETE EVENT SIMULATION; PROCESS ALGEBRA;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0000315140     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/290274.290303     Document Type: Article

References (18)

1. BIRTWISTLE, G. 1979. Demos - Discrete event modeling on Simula. Macmillan, New York, NY.
2. BIRTWISTLE, G. 1981. Demos implementation guide and reference manual. Tech. Rep., 81/70/22, University of Calgary.
3. BIRTWISTLE, G. AND TOFTS, C. 1993. An operational semantics of process-orientated simulation languages: Part I πDemos. Trans. Soc. Comput, Simul. 10, 4, 299-333.
4. BIRTWISTLE, G. AND TOFTS, C. 1994. An operational semantics of process-orientated simulation languages: Part II μDemos. Trans. Soc. Comput. Simul. 11, 4, 303-336.
5. BIRTWISTLE, G., POOLEY, R., AND TOFTS, C. 1993. Characterizing the structure of simulation models in CCS, Trans. Soc. Comput. Simul. 10, 3, 205-236.
6. CLARKE, E., GRUMBERG, O., HIRAISHI, H., JHA, S., LONG, D., McMILLAN, K., AND NESS, L. 1995. Verification of the Futurebus+ cache coherence protocol. Formal Meth. Syst. Des. 6, 2 (March), 217-232.
7. MILNER, R. 1980. A Calculus of Communicating Systems. LNCS 92, Springer Verlag, New York, NY.
8. MILNER, R. 1990. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, NJ.
9. MOLLER, F. 1990. The Edinburgh Concurrency Workbench. Tech. Rep., Department of Computer Science, University of Edinburgh.
10. MOLLER, F. AND TOFTS, C. 1990. A temporal calculus of communicating systems. In CON-CUR '90, LNCS 458, Springer-Verlag, New York, NY, 401-405.
11. STIRLING, C. 1987. Modal logics for communicating systems. J. Theor. Comput. Sci. 49, 311-347.
12. STIRLING, C. 1992. Modal and temporal logics for processes. Tech. Rep. ECS-LPCS-92-221, Department of Computer Science, University of Edinburgh.
13. TOFTS, C. 1990. A calculus of relative frequency. In CONCUR '90, LNCS 458, Springer-Verlag, New York, NY, 467-480.
14. TOFTS, C. 1994. Processes with probability, priority and time. Form. Asp. Comput. Sci. 6, 5, 536-564.
15. TOFTS, C. AND BIRTWISTLE, G. 1997a. A denotational semantics for Demos: Part I. Tech. Rep. 97, 12, School of Computer Studies, University of Leeds.
16. TOFTS, C. AND BIRTWISTLE, G. 1997b. A denotational semantics for Demos: Part II. Tech. Rep. 97, 13, School of Computer Studies, University of Leeds.
17. TOFTS, C. AND BIRTWISTLE, G. 1997e. A relationship between an operational and a denotational account of Demos. J. Simul. Pract. Theor. 5, 1, 1-33.
18. VAN VLIJMEN, S. F. M. AND VAN WAVEREN, A. 1992. An algebraic specification of a model factory. Tech. Rep., University of Amsterdam Programming Research Group.