{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T08:46:15Z","timestamp":1743842775025},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1303217","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"196-203","source":"Crossref","is-referenced-by-count":8,"title":["A comparison of structural formalisms for modeling large Markov models"],"prefix":"10.1109","author":[{"given":"M.-Y.","family":"Chung","sequence":"first","affiliation":[]},{"given":"G.","family":"Ciardo","sequence":"additional","affiliation":[]},{"given":"S.","family":"Donatelli","sequence":"additional","affiliation":[]},{"given":"N.","family":"He","sequence":"additional","affiliation":[]},{"given":"B.","family":"Plateau","sequence":"additional","affiliation":[]},{"given":"W.","family":"Stewart","sequence":"additional","affiliation":[]},{"given":"E.","family":"Sulaiman","sequence":"additional","affiliation":[]},{"given":"J.","family":"Yu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(94)00075-N"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90025-P"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45232-4_6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.12.3.203.12634"},{"key":"ref16","first-page":"11","article-title":"Faster discrete-event simulation through structural caching","author":"ciardo","year":"2003","journal-title":"Proc Sixth Int Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-6)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_27"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796529"},{"key":"ref19","first-page":"3","article-title":"What a structural world","author":"ciardo","year":"0","journal-title":"IEEE Compo Soc Press Sept 2001 Invited keynote paper"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278303"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90025-P"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2241-6_31"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2241-6_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.99196"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/317795.317819"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.6312174"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2241-6_13"},{"key":"ref9","first-page":"341","article-title":"PEPS: a package for solving complex Markov models of parallel systems","author":"plateau","year":"1988","journal-title":"Proc 4th Int Conf Modelling Techniques and Tools"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01303217.pdf?arnumber=1303217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T15:41:31Z","timestamp":1489506091000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1303217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1303217","relation":{},"subject":[]}}