{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:05:21Z","timestamp":1775012721383,"version":"3.50.1"},"reference-count":6,"publisher":"Pleiades Publishing Ltd","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,2]]},"DOI":"10.1134\/s0361768807010021","type":"journal-article","created":{"date-parts":[[2007,2,5]],"date-time":"2007-02-05T04:12:56Z","timestamp":1170648776000},"page":"2-13","source":"Crossref","is-referenced-by-count":0,"title":["Model-100: Specification language for interacting processes"],"prefix":"10.1134","volume":"33","author":[{"given":"A. V.","family":"Babichev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. G.","family":"Lebedev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"1002_CR1","first-page":"19","volume-title":"Proc. of Summer Computer Simulation Conference-98","author":"H. Elmqvist","year":"1998","unstructured":"Elmqvist, H., Mattsson, S.E., and Otter, M., Modelica\u2014an International Effort to Design an Object-oriented Modeling Language, Proc. of Summer Computer Simulation Conference-98, Reno, USA, 1998, pp. 19\u201322."},{"key":"1002_CR2","volume-title":"Programming Languages","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E., On Translation of Languages from Left to Right, in Programming Languages, Genuys, F., Ed., London: Macdonald, 1968. Translated under the title Yazyki i avtomaty, Moscow: Mir, 1972, pp. 9\u201342."},{"issue":"2","key":"1002_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Courcelle, B., Fundamentals Properties of Infinite Trees, Theor. Comput. Sci., 1983, vol. 25, no. 2, pp. 95\u2013169.","journal-title":"Theor. Comput. Sci."},{"key":"1002_CR4","unstructured":"Babichev, A.V., Weak Second-Order Monadic Theories as a Basis for Creation of Data Specification Languages, Avtom. Telemekh., 1997, no. 2, pp. 194\u2013208."},{"key":"1002_CR5","unstructured":"Logical Programming, Moscow: Mir, 1988."},{"key":"1002_CR6","unstructured":"Holzner, S., Inside XSLT, New Readers, 2001."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807010021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807010021","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807010021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807010021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:02:47Z","timestamp":1775008967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807010021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["1002"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807010021","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2]]}}}