{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T07:45:11Z","timestamp":1649144711992},"reference-count":16,"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)80094-5","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"17-32","source":"Crossref","is-referenced-by-count":1,"title":["Using Assumptions to Distribute Alternation Free \u03bc-Calculus Model Checking"],"prefix":"10.1016","volume":"89","author":[{"given":"Lubo\u0161","family":"Brim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jitka","family":"\u017d\u00eddkov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80094-5_BIB1","series-title":"Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), volume 2057 of LNCS","first-page":"217","article-title":"Distributed LTL Model-Checking in SPIN","author":"Barnat","year":"2001"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB2","series-title":"Proceedings of the 3rd International Workshop on Verification and Computational Logic (VCL'02\ue4f8 held at the PLI 2002 Symposium","first-page":"1","article-title":"Property Driven Distribution of Nested DFS","author":"Barnat","year":"2002"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB3","doi-asserted-by":"crossref","unstructured":"B. Bollig, M. Leucker, and M. Weber. Parallel model checking for the alternation free \u03bc-calculus. In Tiziana Margaria and Wang Yi, editors, Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), volume 2031 of LNCS, pages 543-558. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45319-9_37"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB4","series-title":"Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN'02), volume 2318 of LNCS","first-page":"128","article-title":"Local parallel model checking for the alternation-free mu-calculus","author":"Bollig","year":"2002"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB5","article-title":"Assumption Based Distribution of CTL Model Checking","author":"Brim","year":"2002","journal-title":"Submitted"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB6","series-title":"1st International Workshop on Parallel and Distributed Model-Checking (PDMC'02), volume 68.4 of Electronic Notes in Theoretical Computer Science.","article-title":"Using Assumptions to Distribute CTL Model Checking","author":"Brim","year":"2002"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB7","article-title":"Using Assumptions to Distribute CTL Model Checking","author":"Brim","year":"2002","journal-title":"Technical Report FIMU-RS-2002-02, Faculty of Informatics, Masaryk University Brno"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB8","series-title":"Proc. 11th International Computer Aided Verification Conference","first-page":"274","article-title":"Model checking partial state spaces with 3- valued temporal logics","author":"Bruns","year":"1999"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB9","series-title":"ASE'02 Doctoral Symposium","first-page":"17","article-title":"Distributed modular CTL model checking","author":"Crhov\u00e1","year":"2002"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB10","unstructured":"J.F. Groote, J. Pang, and A.G. Wouters. Analysis of a distributed system for lifting trucks, 2001. To appear as a technical report of the Department of Software Engineering CWI, Amsterdam."},{"key":"10.1016\/S1571-0661(05)80094-5_BIB11","series-title":"TACAS'98, volume 1384 of LNCS","first-page":"20","article-title":"Modular model checking of software","author":"Laster","year":"1998"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB12","series-title":"Proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN'99) volume 1680 of LNCS","article-title":"Distributed-memory model checking with SPIN","author":"Lerda","year":"1999"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB13","series-title":"CONCUR'94, volume 836 of Lecture Notes in Computer Science (LNCS)","first-page":"98","article-title":"Pushdown processes: Parallel composition and model checking","author":"Steffen","year":"1994"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB14","series-title":"Proceedings of Computer Aided Verification (CAV '97), volume 1254 of LNCS","first-page":"256","article-title":"Parallelizing the mur\u03c6 verifier","author":"Stern","year":"1997"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB15","series-title":"Foundations of Software Technology and Theoretical Computer Science, pages","first-page":"127","article-title":"Model checking CTL properties of pushdown systems","author":"Walukiewicz","year":"2000"},{"key":"10.1016\/S1571-0661(05)80094-5_BIB16","unstructured":"K. Yorav. Exploiting Syntactic Structure for Automatic Verification. PhD thesis, Technion, Haifa, Israel, June 2000."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800945?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800945?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T08:58:31Z","timestamp":1548493111000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105800945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066105800945"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80094-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}