{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:52:10Z","timestamp":1725565930278},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219880"},{"type":"electronic","value":"9783540246794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24679-4_37","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T14:04:40Z","timestamp":1284127480000},"page":"184-187","source":"Crossref","is-referenced-by-count":0,"title":["Some Grid Automata for Grid Computing"],"prefix":"10.1007","author":[{"given":"Hao","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongqiang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-642-59126-6_4","volume":"3","author":"D. Giammarresi","year":"1997","unstructured":"Giammarresi, D., Restivo, A.: Two-dimensional languages. Handbook of Formal Languages\u00a03, 215\u2013267 (1997)","journal-title":"Handbook of Formal Languages"},{"issue":"1","key":"37_CR2","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1996.0018","volume":"125","author":"D. Giammarresi","year":"1996","unstructured":"Giammarresi, D., Restivo, A., Seibert, S., Thomas, W.: Monadic second-order logic over rectangular pictures and recognizability by tiling system. Information and Computation\u00a0125(1), 32\u201345 (1996)","journal-title":"Information and Computation"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0022-0000(92)90012-8","volume":"44","author":"M. Kaminski","year":"1992","unstructured":"Kaminski, M., Pinter, S.: Finite automata on directed graphs. Computer and System Sciences\u00a044, 425\u2013446 (1992)","journal-title":"Computer and System Sciences"},{"key":"37_CR4","unstructured":"En-shao, S.: Grid Automata and Grid Grammars for picture Languages. Journal of Software, China\u00a011(7) (July 2000)"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Altenbernd, J., Thomas, W., W\u00f6hrle, S.: Tiling systems over infinite pictures and their acceptance conditions. In: Proceedings of the 6th International Conference on Developements in Language Theory, DLT 2002 (2002)","DOI":"10.1007\/3-540-45005-X_26"},{"key":"37_CR6","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. Handbook of Theoretical Computer Science B, 133\u2013192 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent programs using temporal logic. ACM Transaction on Program language and Systems\u00a08, 244\u2013263 (1986)","journal-title":"ACM Transaction on Program language and Systems"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24679-4_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T08:24:32Z","timestamp":1636446272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24679-4_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219880","9783540246794"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24679-4_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}