{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:07:35Z","timestamp":1773655655210,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540391104","type":"print"},{"value":"9783540391128","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11846802_23","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T06:27:41Z","timestamp":1158388061000},"page":"123-132","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and Verification of MPI Based Distributed Software"],"prefix":"10.1007","author":[{"given":"Igor","family":"Grudenic","sequence":"first","affiliation":[]},{"given":"Nikola","family":"Bogunovic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","first-page":"315","volume-title":"Concurrency, Practice and Experience","author":"V.S. Sunderam","year":"1990","unstructured":"Sunderam, V.S.: PVM: A Framework for Parallel Distributed Computing. In: Concurrency, Practice and Experience, December 1990, vol.\u00a02, pp. 315\u2013339. John Wiley & Sons, Chichester (1990)"},{"key":"23_CR2","unstructured":"MPI-2 Standard, http:\/\/www.mpi-forum.org\/docs\/mpi-20-html\/mpi2-report.html"},{"key":"23_CR3","unstructured":"Microsoft Research: AsmL: The Abstract State Machine Language (2002)"},{"issue":"7","key":"23_CR4","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM archive\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM archive"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., et al.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, Technical Report (2005)","DOI":"10.1007\/11526841_38"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Siegel, S.F., Avrunin, G.S.: Modeling wildcard-free MPI programs for verification. In: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 95\u2013106 (2005)","DOI":"10.1145\/1065944.1065957"},{"key":"23_CR7","first-page":"402","volume-title":"IFIP 13th World Computer Congress","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., Gl\u00e4sser, U.: A formal specification of the PVM architecture. In: IFIP 13th World Computer Congress, vol.\u00a01, pp. 402\u2013409. North-Holland, Amsterdam (2005)"},{"key":"23_CR8","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1993","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1993)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic, 77\u2013111 (2000)","DOI":"10.1145\/343369.343384"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computational Logic, 578\u2013651 (2003)","DOI":"10.1145\/937555.937561"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11846802_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:41:48Z","timestamp":1605642108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11846802_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540391104","9783540391128"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11846802_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}