{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T05:17:47Z","timestamp":1672550267150},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[1998,7]]},"abstract":"In this article, we present semantic translations for the actions of \u03bcDemos, a proocess-based, discrete event simulation language. Our formal translation schema permits the automatic construction of a process algebraic representatioon of the underlying simulation model which can then be checked for freedom from deadlock and livelock, as well as system-specific safety and liveness properties. As simulation methodologies are increasingly being used to design and implement complex systems of interaction objects, the ability to perform such verifications in of increasing methodological importance. We also present a normal form for the syntactic construction of \u03bcDemos programs that allows for the direct comparison of such programs (two programs with the same normal form must execute in identical fashion), reduces model proof obligations by minimizing the number of language constructs, and permits an implementer to concentrate on the basic features of the language (since any program implementation that efficiently evaluates normal forms will be an efficient evaluator for the complete language).<\/jats:p>","DOI":"10.1145\/290274.290303","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:28:46Z","timestamp":1027769326000},"page":"281-305","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["A denotational semantics for a process-based simulation language"],"prefix":"10.1145","volume":"8","author":[{"given":"Chris","family":"Tofts","sequence":"first","affiliation":[{"name":"Univ. of Leeds, Leeds, UK"}]},{"given":"Graham","family":"Birtwistle","sequence":"additional","affiliation":[{"name":"Univ. of Leeds, Leeds, UK"}]}],"member":"320","published-online":{"date-parts":[[1998,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Demos--Discrete event modeling on Simula","author":"BIRTWISTLE G.","unstructured":"BIRTWISTLE , G. 1979. Demos--Discrete event modeling on Simula . Macmillan , New York, NY . BIRTWISTLE, G. 1979. Demos--Discrete event modeling on Simula. Macmillan, New York, NY."},{"issue":"4","key":"e_1_2_1_3_1","first-page":"299","article-title":"An operational semantics of process-orientated simulation languages: Part I ~rDemos","volume":"10","author":"BIRTWISTLE OFTS","year":"1993","unstructured":"BIRTWISTLE , a. AND T OFTS , C. 1993 . An operational semantics of process-orientated simulation languages: Part I ~rDemos . Trans. Soc. Comput. Simul. 10 , 4 , 299 - 333 . BIRTWISTLE, a. AND TOFTS, C. 1993. An operational semantics of process-orientated simulation languages: Part I ~rDemos. Trans. Soc. Comput. Simul. 10, 4, 299-333.","journal-title":"Trans. Soc. Comput. Simul."},{"issue":"4","key":"e_1_2_1_4_1","first-page":"303","article-title":"An operational semantics of process-orientated simulation languages: Part II t~Demos","volume":"11","author":"BIRTWISTLE OFTS","year":"1994","unstructured":"BIRTWISTLE , a. AND T OFTS , C. 1994 . An operational semantics of process-orientated simulation languages: Part II t~Demos . Trans. Soc. Comput. Simul. 11 , 4 , 303 - 336 . BIRTWISTLE, a. AND TOFTS, C. 1994. An operational semantics of process-orientated simulation languages: Part II t~Demos. Trans. Soc. Comput. Simul. 11, 4, 303-336.","journal-title":"Trans. Soc. Comput. Simul."},{"issue":"3","key":"e_1_2_1_5_1","first-page":"205","article-title":"Characterizing the structure of simulation models in CCS","volume":"10","author":"BIRTWISTLE G.","year":"1993","unstructured":"BIRTWISTLE , G. , POOLEY , R. , AND TOFTS , C. 1993 . Characterizing the structure of simulation models in CCS . Trans. Soc. Comput. Simul. 10 , 3 , 205 - 236 . BIRTWISTLE, G., POOLEY, R., AND TOFTS, C. 1993. Characterizing the structure of simulation models in CCS. Trans. Soc. Comput. Simul. 10, 3, 205-236.","journal-title":"Trans. Soc. Comput. Simul."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383968"},{"key":"e_1_2_1_7_1","volume-title":"A Calculus of Communicating Systems. LNCS 92","author":"MILNER R.","unstructured":"MILNER , R. 1980. A Calculus of Communicating Systems. LNCS 92 , Springer Verlag , New York, NY . MILNER, R. 1980. A Calculus of Communicating Systems. LNCS 92, Springer Verlag, New York, NY."},{"key":"e_1_2_1_8_1","volume-title":"Communication and Concurrency","author":"MILNER R.","unstructured":"MILNER , R. 1990. Communication and Concurrency . Prentice-Hall , Englewood Cliffs, NJ . MILNER, R. 1990. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, NJ."},{"key":"e_1_2_1_10_1","first-page":"401","volume-title":"CON- CUR '90","author":"MOLLER F.","year":"1990","unstructured":"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 . 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."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90012-0"},{"key":"e_1_2_1_13_1","first-page":"467","volume-title":"CONCUR '90","author":"TOFTS C.","year":"1990","unstructured":"TOFTS , C. 1990 . A calculus of relative frequency . In CONCUR '90 , LNCS 458, Springer- Verlag, New York, NY , 467 - 480 . TOFTS, C. 1990. A calculus of relative frequency. In CONCUR '90, LNCS 458, Springer- Verlag, New York, NY, 467-480."},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","article-title":"Processes with probability, priority and time","volume":"6","author":"TOFTS C.","year":"1994","unstructured":"TOFTS , C. 1994 . Processes with probability, priority and time . Form. Asp. Comput. Sci. 6 , 5, 536 - 564 . TOFTS, C. 1994. Processes with probability, priority and time. Form. Asp. Comput. Sci. 6, 5, 536 -564.","journal-title":"Form. Asp. Comput. Sci."},{"issue":"1","key":"e_1_2_1_17_1","first-page":"1","article-title":"A relationship between an operational and a denotational account of Demos","volume":"5","author":"TOFTS C.","year":"1997","unstructured":"TOFTS , C. AND BIRTWISTLE , a. 1997 c. A relationship between an operational and a denotational account of Demos . J. Simul. Pract. Theor. 5 , 1 , 1 - 33 . TOFTS, C. AND BIRTWISTLE, a. 1997c. A relationship between an operational and a denotational account of Demos. J. Simul. Pract. Theor. 5, 1, 1-33.","journal-title":"J. Simul. Pract. Theor."}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/290274.290303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T06:53:49Z","timestamp":1672469629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/290274.290303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["10.1145\/290274.290303"],"URL":"https:\/\/doi.org\/10.1145\/290274.290303","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,7]]},"assertion":[{"value":"1998-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}