{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:03:11Z","timestamp":1746158591760,"version":"3.40.4"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039978"},{"type":"electronic","value":"9783319039985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_2","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"20-40","source":"Crossref","is-referenced-by-count":0,"title":["Theory of Interaction, Insertion Modeling, and Cognitive Architectures"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Letichevsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"APS and IMS systems, http:\/\/www.apsystem.org.ua"},{"key":"2_CR2","volume-title":"The Atomic Components of Thought","author":"J.R. Anderson","year":"1998","unstructured":"Anderson, J.R., Lebiere, C.: The Atomic Components of Thought. Lawrence Erlbaum Associates, Mahwah (1998)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Baranov, S., Jervis, C., Kotlyarov, V., Letichevsky, A., Weigert, T.: Leveraging UML to deliver correct telecom applications in UML for Real. In: Lavagno, L., Martin, G., Selic, B. (eds.) Design of Embedded Real-Time Systems, pp. 323\u2013342. Kluwer Academic Publishers (2003)","DOI":"10.1007\/0-306-48738-1_15"},{"issue":"1\/3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Information and Control\u00a060(1\/3), 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"2_CR5","unstructured":"Bergstra, J.A., Ponce, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"2_CR7","unstructured":"Gilbert, D.R., Letichevsky, A.A.: A universal interpreter for nondeterministic concurrent programming languages. In: Gabbrielli, M. (ed.) Fifth Compulog Network Area Meeting on Language Design and Semantic Analysis Methods (September 1996)"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF02531491","volume":"12","author":"V.M. Glushkov","year":"1960","unstructured":"Glushkov, V.M.: On an algorithm of abstract automata synthesis. Ukrainian Mthematical Journalvol\u00a012(2), 147\u2013156 (1960)","journal-title":"Ukrainian Mthematical Journalvol"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF01071436","volume":"1","author":"V.M. Glushkov","year":"1965","unstructured":"Glushkov, V.M.: Automata theory and questions of design structure of digital machines. Cybernetics\u00a01, 3\u201311 (1965)","journal-title":"Cybernetics"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Glushkov, V.M., Letichevsky, A.A.: Theory of algorithms and descrete processors. In: Tou, J.T. (ed.) Advances in Information Systems Science., vol.\u00a01, pp. 1\u201358. Plenum Press (1969)","DOI":"10.1007\/978-1-4615-9050-7_1"},{"key":"2_CR11","unstructured":"Hawkins, J., Blakeslee, S.: On intelligence. Times Books, Henry Holt and Co. (2005)"},{"key":"2_CR12","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A Universal Modular Actor Formalism for Artificial Intelligence. IJCA (1973)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"2_CR14","unstructured":"Kapitonova, J., Letichevsky, A.: Mathematical theory of computational systems design. Moscow, Science, 295 (1988) (in Russian)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Kapitonova, J., Letichevsky, A., Volkov, V., Weigert, T.: Validation of Embedded Systems. In: Zurawski, R. (ed.) The Embedded Systems Handbook. CRC Press, Miami (2005)","DOI":"10.1201\/9781420038163.ch6"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Representation of Events in Nerve Nets and Finite Automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 3\u201342. Princeton University Press (1956)","DOI":"10.1515\/9781400882618-002"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird, J.E., Newell, A., Rosenbloom, P.S.: SOAR: an architecture for general intelligence. Artifitial intelligence\u00a033, 1\u201364 (1987)","journal-title":"Artifitial intelligence"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Letichevsky, A., Gilbert, D.: A general theory of action languages. Cybernetics and System Analyses\u00a01 (1998)","DOI":"10.1007\/BF02911258"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-44616-3_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A.A. Letichevsky","year":"2000","unstructured":"Letichevsky, A.A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 311\u2013328. Springer, Heidelberg (2000)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-29709-0_23","volume-title":"Perspectives of Systems Informatics","author":"A.A. Letichevsky","year":"2012","unstructured":"Letichevsky, A.A., Letychevskyi, O.A., Peschanenko, V.S.: Insertion Modeling System. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol.\u00a07162, pp. 262\u2013273. Springer, Heidelberg (2012)"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/1-4020-3817-8_10","volume-title":"Structural Theory of Automata, Semigroups, and Universal Algebra, NATO Science Series II. Mathematics, Physics and Chemistry","author":"A. Letichevsky","year":"2005","unstructured":"Letichevsky, A.: Algebra of behavior transformations and its applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups, and Universal Algebra, NATO Science Series II. Mathematics, Physics and Chemistry, vol.\u00a0207, pp. 241\u2013272. Springer, Heidelberg (2005)"},{"key":"2_CR22","unstructured":"Letichevsky, A., Kapitonova, J., Letichevsky Jr., A., Volkov, V., Baranov, S., Kotlyarov, V., Weigert, T.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. In: WITUL (Workshop on Integrated Reliability with Telecommunications and UML Languages), ISSRE 2004, Rennes (November 4, 2005)"},{"key":"2_CR23","first-page":"662","volume":"47","author":"A. Letichevsky","year":"2005","unstructured":"Letichevsky, A., Kapitonova, J., Letichevsky Jr., A., Volkov, V., Baranov, S., Kotlyarov, V., Weigert, T.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. Computer Networks\u00a047, 662\u2013675 (2005)","journal-title":"Computer Networks"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Letichevsky, A., Kapitonova, J., Volkov, V., Letichevsky Jr., A., Baranov, S., Kotlyarov, V., Weigert, T.: System Specification with Basic Protocols. Cybernetics and System Analyses\u00a04 (2005)","DOI":"10.1007\/s10559-005-0083-y"},{"key":"2_CR25","first-page":"13","volume":"4","author":"A.A. Letichevsky","year":"2008","unstructured":"Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.: Insertion modeling in distributed system design. Problems in Programming\u00a04, 13\u201338 (2008)","journal-title":"Problems in Programming"},{"key":"2_CR26","unstructured":"Letichevsky, A., Letichevskiy, O., Morokhovets, M., Peschanenko, V.: System of Programs Proving in Problems of computer intellectualization. In: Velichko, V., Volosin, A., Markov, K. (eds.), pp. 133\u2013140. Kyiv: V.M.Glushkov Institute of Cybernetics (2012)"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"W.S. McCulloch","year":"1943","unstructured":"McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bull. of Math Biophy.\u00a05, 115\u2013133 (1943)","journal-title":"Bull. of Math Biophy."},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"2_CR29","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"2_CR30","unstructured":"Milner, R.: The polyadic \u03c0-calculus: a tutorial, Tech. Rep. ECS\u2013LFCS\u201391\u2013180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK (1991)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Minsky, M.: The Society of Mind. Touchstone Book, p. 339 (1988)","DOI":"10.21236\/ADA200313"},{"key":"2_CR32","unstructured":"Park, D.: Concurrency and automata on infinite sequences. LNCS, vol.\u00a0104. Springer (1981)"},{"key":"2_CR33","unstructured":"Petri, C.A.: Kommunikation mit Automaten, Bonn: Institut fur Instrumentelle Mathematik. Schriften des IIM Nr.\u00a02 (1962)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Samsonovich, A.V.: Toward a unified catalog of implemented cognitive architectures (review). In: Samsonovich, A.V., Johansdottir, K.R., Chella, A., Goertzel, B. (eds.) Biologically Inspired Cognitive Architectures 2010: Proceedings of the First Annual Meeting of BICA Siciety. Frontiers in Artifitial Intelligence and Applications, vol.\u00a0221, pp. 195\u2013244 (2010)","DOI":"10.3233\/978-1-60750-661-4-195"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:29:57Z","timestamp":1746073797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}