{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:54:52Z","timestamp":1773615292983,"version":"3.50.1"},"reference-count":11,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Conrol Comp. Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.3103\/s0146411611070078","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T17:57:59Z","timestamp":1325786279000},"page":"397-401","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model checking of distributed systems with affine data structures"],"prefix":"10.3103","volume":"45","author":[{"given":"N. O.","family":"Garanina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"key":"#cr-split#-6165_CR1.1","doi-asserted-by":"crossref","unstructured":"Boigelot, B. and Wolper, P., Symbolic Verification with Periodic Sets, Proc. 6th Int. Conf. on Computer Aided Verification (CAV'94), Stanford, 1994","DOI":"10.1007\/3-540-58179-0_43"},{"key":"#cr-split#-6165_CR1.2","unstructured":"Lect. Notes Compt. Sci., 1994, vol. 818, pp. 55-67."},{"issue":"8","key":"6165_CR2","first-page":"293","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E., Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams, IEEE Trans. Compt., C 1986, vol. 35, no. 8, pp. 293\u2013318.","journal-title":"IEEE Trans. Compt., C"},{"issue":"4","key":"6165_CR3","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1145\/325478.325480","volume":"21","author":"Bultan","year":"1999","unstructured":"Bultan, \u00d2., Gerber R., and Pugh, W., Model Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations and Experimental Results, ACM Trans. Progr. Lang. Syst., 1999, vol. 21, no. 4, pp. 747\u2013789.","journal-title":"ACM Trans. Progr. Lang. Syst."},{"issue":"3","key":"6165_CR4","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D., Results on the Propositional Mu-Calculus, Theor. Comput. Sci., 1983, vol. 27, no. 3, pp. 333\u2013354.","journal-title":"Theor. Comput. Sci."},{"key":"6165_CR5","doi-asserted-by":"crossref","unstructured":"McMillan, K.L., Symbolic Model Checking: An Approach to the State Explosion Problem, Kluwer, 1993, p. 216.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"6165_CR6","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-540-39866-0_39","volume":"2890","author":"N.V. Shilov","year":"2003","unstructured":"Shilov, N.V. and Garanina, N.O., A Polynomial Approximations for Model Checking, Lect. Notes Compt. Sci., 2003, vol. 2890, pp. 395\u2013400.","journal-title":"Lect. Notes Compt. Sci."},{"key":"6165_CR7","first-page":"351","volume":"2","author":"N.V. Shilov","year":"2004","unstructured":"Shilov, N.V., Garanina, N.O., and Kalinina, N.A., Model Checking Knowledge, Actions and Fixpoints, Proc. Int. Workshop on Concurrency, Specification and Programming, Caputh, Germany, 2004, vol. 2, pp. 351\u2013357.","journal-title":"Proc. Int. Workshop on Concurrency, Specification and Programming"},{"key":"6165_CR8","unstructured":"Garanina, N.O., Verification of Distributed Systems with Use of Affine Data Presentation, Knowledge Logics and Actions, Cand. Sci. (Phys.-Math.) Dissertation, Novosibirsk, 2004."},{"key":"6165_CR9","unstructured":"Garanina, N.O., Affine Data Presentation for Program Model Checking), Preprint of Inst. Syst. Inform. Sib. Branch of Russ. Acad. Sci., Novosibirsk, 2004, no. 116."},{"key":"6165_CR10","unstructured":"McBurney, P. and Parsons, S., Dialogue Games in Multi-Agent Systems. http:\/\/www.cs.umd.edu\/projects\/omega"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411611070078","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:57:58Z","timestamp":1773611878000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411611070078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":11,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["6165"],"URL":"https:\/\/doi.org\/10.3103\/s0146411611070078","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"17 September 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}