{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:16:15Z","timestamp":1649038575805},"reference-count":25,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3619,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s1571-0661(05)80100-8","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"114-127","source":"Crossref","is-referenced-by-count":3,"title":["Distributed Model Checking: From Abstract Algorithms to Concrete Implementations"],"prefix":"10.1016","volume":"89","author":[{"given":"Christophe","family":"Joubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80100-8_BIB1","first-page":"581","article-title":"Parallel graph generation algorithms for shared and distributed memory machines","volume":"volume 12","author":"Allmaier","year":"1997"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB2","series-title":"Proceedings of the 7th IEEE International Workshop on Petri Nets and Performance Models PNPM'97 (Saint Malo, France)","first-page":"112","article-title":"State space construction and steady-state solution of gspns on a shared-memory multiprocessor","author":"Allmaier","year":"1997"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB3","series-title":"Proceedings of the International Conference on Solving Irregularly Structured Problems in Parallel, volume 1253 of LNCS","first-page":"207","article-title":"Parallel shared-memory state-space exploration in stochastic modeling","author":"Allmaier","year":"1997"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB4","series-title":"Formal Methods in Computer-Aided Design, Third International Conference, (FMCAD'00), volume 1954 of LNCS","first-page":"390","article-title":"Scalable distributed on-the-fly symbolic model checking","author":"Ben-David, T. Heyman, O. Grumberg","year":"2000"},{"issue":"1","key":"10.1016\/S1571-0661(05)80100-8_BIB5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/2080.357392","article-title":"Implementing remote procedure calls","volume":"2","author":"Birrell","year":"1984","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB6","series-title":"Proceedings of the Workshop on Parallel and Distributed Model Checking PDMC'02 (Brno, Czech Republic)","article-title":"A distributed algorithm for strong bisimulation reduction of state spaces","author":"Blom","year":"2002"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB7","series-title":"Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'01, volume 2031 of LNCS","first-page":"543","article-title":"Parallel model checking for the alternation free mu-calculus","author":"Bollig","year":"2001"},{"issue":"11","key":"10.1016\/S1571-0661(05)80100-8_BIB8","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1002\/1096-9128(200009)12:11<1019::AID-CPE518>3.0.CO;2-G","article-title":"MPJ: MPI-like message passing for Java","volume":"12","author":"Carpenter","year":"2000","journal-title":"Concurrency: Practice and Experience"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB9","series-title":"Computer Performance Evaluation: Modelling Techniques and Tools, volume 794 of LNCS","first-page":"266","article-title":"Experiences on simd massively parallel gspn analysis","author":"Caselli","year":"1994"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB10","series-title":"Proceedings of the 16th International Conference on Applications and Theory of Petri Nets (Torino, Italy), volume 935 of LNCS","first-page":"181","article-title":"Parallel state space exploration for gspn models","author":"Caselli","year":"1995"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB11","series-title":"First EFF\/Euro Summer School on Trends in Computer Science (Berg en Dal, The Netherlands), volume 2090 of LNCS","first-page":"344","article-title":"Distributed and structured analysis approaches to study large and complex systems","author":"Ciardo","year":"2001"},{"issue":"1","key":"10.1016\/S1571-0661(05)80100-8_BIB12","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1287\/ijoc.10.1.82","article-title":"Distributed state space generation of discrete-state stochastic models","volume":"10","author":"Ciardo","year":"1998","journal-title":"INFORMS Journal on Computing"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB13","doi-asserted-by":"crossref","unstructured":"Hubert Garavel, Radu Mateescu, and Irina Smarandache. Parallel state space construction for model-checking. In Matthew B. Dwyer, editor, Proceedings of the 8th International SPIN Workshop on Model Checking of Software SPIN'2001 (Toronto, Canada), volume 2057 of LNCS, pages 217-234, Berlin, May 2001. Springer Verlag. Revised version available as INRIA Research Report RR-4341 (December 2001).","DOI":"10.1007\/3-540-45139-0_14"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB14","series-title":"Proceedings of the 8th International Workshop on Petri Nets and Performance Models PNPM'99 (Zaragoza, Spain)","first-page":"12","article-title":"On the efficient sequential and distributed generation of very large markov chains from stochastic petri nets","author":"Haverkort","year":"1999"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB15","unstructured":"Cornelia P. Inggs and Howard Barringer. On the parallelisation of model checking. In Proceedings of the 2nd Workshop on Automated Verification of Critical Systems (AVOCS'02). Technical report, University of Birmingham, April 2002."},{"key":"10.1016\/S1571-0661(05)80100-8_BIB16","series-title":"Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chains NSMC'99 (Zaragoza, Spain)","first-page":"58","article-title":"Distributed disk-based solution techniques for large markov models","author":"Knottenbelt","year":"1999"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB17","series-title":"Proceedings of the 10th International Conference on Computer Performance Evaluation - Modelling, Techniques and Tools TOOLS'98 (Palma de Mallorca, Spain), volume 1469 of LNCS","first-page":"165","article-title":"Probability, parallelism and the state space exploration problem","author":"Knottenbelt","year":"1998"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB18","series-title":"Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking SPIN'99, volume 1680 of LNCS","first-page":"22","article-title":"Distributed-memory model checking with spin","author":"Lerda","year":"1999"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB19","series-title":"Proceedings of the 7th IEEE International Workshop on Petri Nets and Performance Models PNPM'97 (Saint Malo, France)","first-page":"122","article-title":"Analysis of large gspn models: A distributed solution tool","author":"Marenzoni","year":"1997"},{"issue":"2","key":"10.1016\/S1571-0661(05)80100-8_BIB20","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1006\/jpdc.1997.1409","article-title":"Automated parallelization of discrete state-space generation","volume":"47","author":"Nicol","year":"1997","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB21","series-title":"Proceedings of the 9th International Conference on Computer-Aided Verification CAV'97 (Haifa, Israel), volume 1254 of LNCS","first-page":"256","article-title":"Parallelizing the mur\u03c6 verifier","author":"Stern","year":"1997"},{"issue":"4","key":"10.1016\/S1571-0661(05)80100-8_BIB22","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/cpe.4330020404","article-title":"PVM: a framework for parallel distributed computing","volume":"2","author":"Sunderam","year":"1990","journal-title":"Concurrency, Practice and Experience"},{"key":"10.1016\/S1571-0661(05)80100-8_BIB23","unstructured":"A. S. Tanenbaum and M. van Steen. Distributed Systems: Principles and Paradigms. Prentice Hall, 2002."},{"key":"10.1016\/S1571-0661(05)80100-8_BIB24","series-title":"19th International Symposium on Computer Architecture","first-page":"256","article-title":"Active messages: A mechanism for integrated communication and computation","author":"von Eicken, D. E. Culler, S. C. Goldstein","year":"1992"},{"issue":"4","key":"10.1016\/S1571-0661(05)80100-8_BIB25","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1016\/0167-8191(94)90033-7","article-title":"The design of a standard message passing interface for distributed memory concurrent computers","volume":"20","author":"David W","year":"1994","journal-title":"Parallel Computing"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801008?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801008?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T16:19:26Z","timestamp":1550765966000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105801008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066105801008"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80100-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}