{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300208},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631385"},{"type":"electronic","value":"9783540691570"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63138-0_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:08:02Z","timestamp":1330297682000},"page":"207-218","source":"Crossref","is-referenced-by-count":7,"title":["Parallel shared-memory state-space exploration in stochastic modeling"],"prefix":"10.1007","author":[{"given":"Susann C.","family":"Allmaier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Horton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"19_CR1","volume-title":"State space construction and steadystate solution of GSPNs on a shared-memory multiprocessor","author":"S. Allmaier","year":"1997","unstructured":"S. Allmaier, M. Kowarschik, and G. Horton. State space construction and steadystate solution of GSPNs on a shared-memory multiprocessor. In Proc. IEEE Int. Workshop Petri Nets and Performance Models (PNPM '97), St. Malo, France, 1997. IEEE Comp. Soc. Press. To appear."},{"key":"19_CR2","first-page":"2","volume-title":"On the success of stochastic Petri nets","author":"G. Balbo","year":"1995","unstructured":"G. Balbo. On the success of stochastic Petri nets. In Proc. IEEE Int. Workshop on Petri Nets and Performance Models (PNPM '95), pages 2\u20139, Durham, NC, 1995. IEEE Comp. Soc. Press."},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00263762","volume":"9","author":"R. Bayer","year":"1977","unstructured":"R. Bayer and M. Schkolnick. Concurrency of operations on B-trees. Acta Informatica, 9:1\u201321, 1977.","journal-title":"Acta Informatica"},{"key":"19_CR4","volume-title":"Technical Report 198233","author":"G. Ciardo","year":"1995","unstructured":"G. Ciardo, J. Gluckman, and D. Nicol. Distributed state-space generation of discrete-state stochastic models. Technical Report 198233, ICASE, NASA Langley Research Center, Hampton, VA, 1995."},{"issue":"2","key":"19_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/356770.356776","volume":"11","author":"D. Comer","year":"1979","unstructured":"D. Comer. The ubiquitous B-tree. Computing Surveys, 11(2):121\u2013137, 1979.","journal-title":"Computing Surveys"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"L.J. Guibas and R. Sedgewick. A dichromatic framework for balanced trees. In Proc. 19th Symp. Foundations of Computer Science, pages 8\u201321, 1978.","DOI":"10.1109\/SFCS.1978.3"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. Performance models of multiprocessor systems. MIT Press, 1986.","DOI":"10.1007\/978-94-009-5408-3_2"},{"key":"19_CR8","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. Wiley, Series in Parallel Computing, 1995."}],"container-title":["Lecture Notes in Computer Science","Solving Irregularly Structured Problems in Parallel"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63138-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:51Z","timestamp":1605647751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63138-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631385","9783540691570"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63138-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}