{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:00:43Z","timestamp":1725703243528},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342738"},{"type":"electronic","value":"9783642342745"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-34274-5_38","type":"book-chapter","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T13:21:47Z","timestamp":1349011307000},"page":"211-217","source":"Crossref","is-referenced-by-count":0,"title":["Insertion Cognitive Architecture"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Letichevsky","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","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: Design of Embedded Real-Time Systems. In: Lavagno, L., Martin, G., Selic, B. (eds.), pp. 323\u2013342. Kluwer Academic Publishers (2003)","DOI":"10.1007\/0-306-48738-1_15"},{"issue":"1\/3","key":"38_CR2","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":"38_CR3","unstructured":"Bergstra, J.A., Ponce, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)"},{"key":"38_CR4","unstructured":"Gilbert, D., 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)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Letichevsky, A.A., Gilbert, D.: A general theory of action languages. Cybernetics and System Analyses\u00a01 (1998)","DOI":"10.1007\/BF02911258"},{"key":"38_CR6","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., Moses, P. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 311\u2013328. Springer, Heidelberg (2000)"},{"key":"38_CR7","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":"38_CR8","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":"38_CR9","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":"38_CR10","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":"38_CR11","unstructured":"Kapitonova, J., Letichevsky, A.: Mathematical theory of computational systems design. Moscow, Science, 295 (1988) (in Russian)"},{"key":"38_CR12","volume-title":"The Embedded Systems Handbook","author":"J. Kapitonova","year":"2005","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)"},{"key":"38_CR13","doi-asserted-by":"crossref","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 (2005)","DOI":"10.1007\/1-4020-3817-8_10"},{"key":"38_CR14","doi-asserted-by":"crossref","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: ISSRE 2004, WITUL (Workshop on Integrated Reliability with Telecommunications and UML Languages), Rennes, November 4 (2005)","DOI":"10.1016\/j.comnet.2005.05.005"},{"key":"38_CR15","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":"38_CR16","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. System Specification with Basic Protocols. Cybernetics and System Analyses\u00a04 (2005)","DOI":"10.1007\/s10559-005-0083-y"},{"key":"38_CR17","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":"38_CR18","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"38_CR19","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":"38_CR20","doi-asserted-by":"crossref","unstructured":"Minsky, M.: The Society of Mind, 339 p. Touchstone Book (1988)","DOI":"10.21236\/ADA200313"},{"key":"38_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"}],"container-title":["Advances in Intelligent Systems and Computing","Biologically Inspired Cognitive Architectures 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34274-5_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T20:13:41Z","timestamp":1643487221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34274-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642342738","9783642342745"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34274-5_38","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}