{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:11Z","timestamp":1725550871911},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434771"},{"type":"electronic","value":"9783540460176"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46017-9_16","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"213-220","source":"Crossref","is-referenced-by-count":10,"title":["SPINning Parallel Systems Software"],"prefix":"10.1007","author":[{"given":"Olga Shumsky","family":"Matlin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewing","family":"Lusk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"McCune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,23]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-45255-9_25","volume-title":"Recent Advances in Parallel Virutal Machine and Message Passing Interface","author":"R. Butler","year":"2000","unstructured":"R. Butler, W. Gropp, and E. Lusk. A scalable process-management environment for parallel programs. In J. Dongarra, P. Kacsuk, and N. Podhorszki, editors, Recent Advances in Parallel Virutal Machine and Message Passing Interface, LNCS 1908, pages 168\u2013175. Springer Verlag, September 2000."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1016\/S0167-8191(01)00097-7","volume":"27","author":"R. Butler","year":"2001","unstructured":"R. Butler, W. Gropp, and E. Lusk. Components and interfaces of a process management system for parallel programs. Parallel Computing, 27:1417\u20131429, 2001.","journal-title":"Parallel Computing"},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/10722468_12","volume-title":"Proceedings of the 7th International SPIN Workshop","author":"E. Fersman","year":"2000","unstructured":"E. Fersman and B. Jonsson. Abstraction of communication channels in Promela: A case study. In K. Havelund, J. Penix, and W. Visser, editors, Proceedings of the 7th International SPIN Workshop, LNCS 1885, pages 187\u2013204. Springer Verlag, 2000."},{"unstructured":"W. Gropp and E. Lusk. MPICH. ftp:\/\/info.mcs.anl.gov\/pub\/mpi .","key":"16_CR4"},{"issue":"6","key":"16_CR5","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1016\/0167-8191(96)00024-5","volume":"22","author":"W. Gropp","year":"1996","unstructured":"W. Gropp, E. Lusk, N. Doss, and A. Skjellum. A high-performance, portable implementation of the MPI Message-Passing Interface standard. Parallel Computing, 22(6):789\u2013828, 1996.","journal-title":"Parallel Computing"},{"issue":"5","key":"16_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"22","author":"G. J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 22(5):279\u2013295, May 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"M. Kaufmann, P. Manolios, and J S. Moore. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, 2000.","key":"16_CR7","DOI":"10.1007\/978-1-4615-4449-4"},{"unstructured":"O. S. Matlin, E. Lusk, and W. McCune. SPINning parallel systems software. Preprint ANL\/MCS-P921-1201, Argonne National Laboratory, 2001.","key":"16_CR8"},{"unstructured":"W. McCune and E. Lusk. ACL2 for parallel systems software. In M. Kaufmann and J S. Moore, editors, Proceedings of the 2nd ACL2 Workshop. University of Texas, 2000. http:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/workshop-2000 .","key":"16_CR9"},{"issue":"3\/4","key":"16_CR10","first-page":"165","volume":"8","author":"Message Passing Interface Forum.","year":"1994","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface standard. International Journal of Supercomputer Applications, 8(3\/4):165\u2013414, 1994.","journal-title":"International Journal of Supercomputer Applications"},{"issue":"1\u20132","key":"16_CR11","first-page":"1","volume":"12","author":"Message Passing Interface Forum.","year":"1998","unstructured":"Message Passing Interface Forum. MPI2: A message passing interface standard. International Journal of High Performance Computing Applications, 12(1\u20132):1\u2013299, 1998.","journal-title":"International Journal of High Performance Computing Applications"},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/10722468_17","volume-title":"Proceedings of the 7th International SPIN Workshop","author":"T. C. Ruys","year":"2000","unstructured":"T. C. Ruys. Low-fat recipes for SPIN. In K. Havelund, J. Penix, and W. Visser, editors, Proceedings of the 7th International SPIN Workshop, LNCS 1885, pages 287\u2013321. Springer Verlag, 2000."},{"unstructured":"W. R. Stevens. Unix Network Programming, volume 1. Prentice Hall PTR, second edition, 1998.","key":"16_CR13"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46017-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:45:52Z","timestamp":1558968352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46017-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434771","9783540460176"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46017-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}