{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T12:26:59Z","timestamp":1790339219943,"version":"4.1.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/wsc.2008.4736132","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T18:48:38Z","timestamp":1231958918000},"page":"703-711","source":"Crossref","is-referenced-by-count":2,"title":["A Pi-calculus formalism for discrete event simulation"],"prefix":"10.1109","author":[{"given":"Jianrui","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard A.","family":"Wysk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"17","author":"zeigler","year":"2000","journal-title":"Theory of Modeling and Simulation Integrating Discrete Event and Continuous Complex Dynamic Systems"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0278-6125(03)90013-6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2006.08.001"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574234"},{"key":"12","author":"milner","year":"1999","journal-title":"Communicating and mobile systems The picalculus"},{"key":"3","first-page":"85","article-title":"general purpose discreteevent simulation using spades","author":"d'argenio","year":"1998","journal-title":"Proceeding of 6th Process Algebra and Performance Modeling Workshop"},{"key":"2","author":"chang","year":"1998","journal-title":"Computeraided manufacturing"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2005.4.5.a4"},{"key":"7","year":"2000","journal-title":"IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA) Framework and rules"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.3"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/5.21067"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.4135\/9781412983259","author":"gilbert","year":"2008","journal-title":"Agentbased models"},{"key":"9","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/11817949_16","article-title":"a new type system for deadlock-free processes","author":"kobayashi","year":"2006","journal-title":"CONCUR 2006-Concurrency Theory"},{"key":"8","article-title":"javacc 4.0. retrieved 2\/25\/2008, from","year":"2007"}],"event":{"name":"2008 Winter Simulation Conference (WSC)","location":"Miami, FL, USA","start":{"date-parts":[[2008,12,7]]},"end":{"date-parts":[[2008,12,10]]}},"container-title":["2008 Winter Simulation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4712635\/4736042\/04736132.pdf?arnumber=4736132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T02:29:46Z","timestamp":1554431386000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4736132\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/wsc.2008.4736132","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}