{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T08:48:49Z","timestamp":1648630129546},"reference-count":28,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Simulation Practice and Theory"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1016\/s0928-4869(97)80777-x","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:52:44Z","timestamp":1051127564000},"page":"1-33","source":"Crossref","is-referenced-by-count":4,"title":["Relating operational and denotational descriptions of \u03c0Demos"],"prefix":"10.1016","volume":"5","author":[{"given":"Graham","family":"Birtwistle","sequence":"first","affiliation":[]},{"given":"Chris","family":"Tofts","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0928-4869(97)80777-X_BIB1","article-title":"Applications of Process Algebra","volume":"Vol. 17","author":"Baeten","year":"1990"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB2","series-title":"Simula Begin","author":"Birtwistle","year":"1979"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB3","series-title":"Demos \u2014 Discrete event modelling on Simula","author":"Birtwistle","year":"1979"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB4","article-title":"University of Calgary Research Report number 81\/70\/22","author":"Birtwistle","year":"1981","journal-title":"Demos implementation guide and reference manual"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB5","series-title":"Proc. 11th ICALP","first-page":"82","article-title":"The algebra of recursively defined processes and the algebra of regular processes","volume":"Vol. 172","author":"Bergstra","year":"1984"},{"issue":"3","key":"10.1016\/S0928-4869(97)80777-X_BIB6","first-page":"205","article-title":"Characterising the structure of simulation models in CCS","volume":"10","author":"Birtwistle","year":"1993","journal-title":"Trans. Soc. Comput. Simulation"},{"issue":"3","key":"10.1016\/S0928-4869(97)80777-X_BIB7","first-page":"299","article-title":"An operational semantics for process-based simulation languages, Part I: \u03c0Demos","volume":"10","author":"Birtwistlw","year":"1994","journal-title":"Trans. Soc. Comput. Simulation"},{"issue":"4","key":"10.1016\/S0928-4869(97)80777-X_BIB8","first-page":"303336","article-title":"An operational semantics for process-based simulation languages, Part II: \u03c0Denos","volume":"11","author":"Britwistlw","year":"1994","journal-title":"Trans. Soc. Comput. Simulation"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB9","article-title":"Process Algebra","volume":"Vol. 18","author":"Baeten","year":"1990"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB10","unstructured":"The Edinburgh Concurrency Workbench, Technical Note, Faron Moller, Department of Computer Science, University of Edinburgh."},{"key":"10.1016\/S0928-4869(97)80777-X_BIB11","series-title":"Algebraic Theory of Processes","author":"Hennessy","year":"1988"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB12","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB13","series-title":"System Simulation \u2014 Programming Styles and Language","author":"Kreutzer","year":"1986"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB14","unstructured":"R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92 (Springer, Berlin)."},{"issue":"3","key":"10.1016\/S0928-4869(97)80777-X_BIB15","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for synchrony and asynchrony","volume":"25","author":"Milner","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0928-4869(97)80777-X_BIB16","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB17","series-title":"The Temporal Logic of Reactive Systems: Specification","author":"Manna","year":"1992"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB18","article-title":"A calculus of mobile processes: Part I","author":"Milner","year":"1989"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB19","article-title":"A calculus of mobile processes, Part II","author":"Milner","year":"1989"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB20","series-title":"Proceedings CONCUR '90","article-title":"A temporal calculus of communicating systems","volume":"Vol. 458","author":"Moller","year":"1990"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB21","article-title":"A structural to operational semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB22","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","article-title":"Modal logics for communicating systems","volume":"49","author":"Stirling","year":"1985","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0928-4869(97)80777-X_BIB23","unstructured":"C. Stirling, Modal and temporal logics for processes, Research Report ECS-LFCS-92-221, Department of Computer Science, University of Edinburgh."},{"key":"10.1016\/S0928-4869(97)80777-X_BIB24","article-title":"A denotational semantics for process-based simulation languages, Part I: \u03c0Demos","author":"Tofts","year":"1993"},{"key":"10.1016\/S0928-4869(97)80777-X_BIB25","unstructured":"C. Tofts and G. Birtwistle, A denotational semantics for process-based simulation languages, Part II: \u03bcDemos."},{"key":"10.1016\/S0928-4869(97)80777-X_BIB26","series-title":"Proceedings CONCUR '90","article-title":"A calculus of relative frequency","volume":"Vol. 458","author":"Tofts","year":"1990"},{"issue":"5","key":"10.1016\/S0928-4869(97)80777-X_BIB27","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","article-title":"Processes with probability, priority and time","volume":"6","author":"Tofts","year":"1994","journal-title":"Formal Aspects Comput. Sci."},{"key":"10.1016\/S0928-4869(97)80777-X_BIB28","article-title":"Introduction to a calculus of communicating systems","author":"Walker","year":"1986"}],"container-title":["Simulation Practice and Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S092848699780777X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S092848699780777X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T08:26:42Z","timestamp":1556526402000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S092848699780777X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["S092848699780777X"],"URL":"https:\/\/doi.org\/10.1016\/s0928-4869(97)80777-x","relation":{},"ISSN":["0928-4869"],"issn-type":[{"value":"0928-4869","type":"print"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}