{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:03:01Z","timestamp":1729609381715,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/mascot.2004.1348191","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"139-146","source":"Crossref","is-referenced-by-count":7,"title":["Structured stochastic modeling of fault-tolerant systems"],"prefix":"10.1109","author":[{"given":"C.","family":"Bertolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Brenner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sales","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.F.","family":"Zorzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915081"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1991.148656"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227601"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233565"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(03)00069-5"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.41333"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278303"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1991.238780"},{"key":"12","first-page":"258","article-title":"Superposed generalized stochastic Petri nets: Definition and efficient solution","author":"donatelli","year":"1994","journal-title":"Proc 24th Int Conf Applications and Theory of Petri Nets"},{"key":"21","first-page":"130","article-title":"Distributed systems have distributed risks","volume":"39","author":"neumann","year":"1996","journal-title":"Communications of the ACM"},{"key":"20","first-page":"22","article-title":"A data structure for the efficient Kronecker solution of GSPNs","author":"miner","year":"1999","journal-title":"Proc 6th Int Workshop on Petri Nets and Performance Models"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/317795.317819"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/32.99196"},{"journal-title":"Introduction to the Numerical Solution of Markov Chains","year":"1994","author":"stewart","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/12.980006"},{"journal-title":"Multiparty Interactions in Dependable Distributed Systems","year":"1999","author":"zorzo","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z"},{"key":"28","first-page":"41","author":"zorzo","year":"2002","journal-title":"TLA Specification of a Mechanism for Concurrent Exception Handling"},{"key":"3","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-540-45232-4_7","article-title":"The PEPS software tool","volume":"2794","author":"benoit","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.02.015"},{"key":"10","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-45232-4_6","article-title":"Logical and stochastic modeling with SMART","volume":"2794","author":"ciardo","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone-marsan","key":"1"},{"key":"7","first-page":"48","article-title":"The need for and the advantages of generalized tensor algebra for kronecker structured representations","author":"brenner","year":"2004","journal-title":"21st Annual UK Performance Engineering Workshop"},{"key":"6","article-title":"Why you should care about generalized tensor algebra","volume":"tr 37","author":"brenner","year":"2003","journal-title":"Technical Report"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CAHPC.2003.1250337"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347529"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312984"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1029010"}],"event":{"name":"The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings.","location":"Volendam, The Netherlands, EU"},"container-title":["The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9336\/29647\/01348191.pdf?arnumber=1348191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:38:45Z","timestamp":1497598725000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348191\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/mascot.2004.1348191","relation":{},"subject":[]}}