Publications About Insertion Modelling

A.A. Letichevsky Insertion modeling. Control Systems and Computers, (6):3-14, 2012(in Russian)

A.A. Letichevsky and D.R. Gilbert A General Theory of Action Languages. Cybernetics and System Analyses, (1):16-36, January - February 1998

A.A. Letichevsky and D.R. Gilbert Agents and environments. In 1st International scienti c and practical conference on programming. Proceedings 2-4 September, 1998. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, 1998

A.Letichevsky. Algebra of behavior transformations and its applications, in V.B.Kudryavtsev and I.G.Rosenberg eds. Structural theory of Automata, Semigroups, and Universal Algebra, NATO Science Series II. Mathematics, Physics and Chemistry – Vol. 207, pp. 241-272, Springer 2005

Letichevsky, J. Kapitonova, A. Letichevsky Jr., V. Volkov, S. Baranov, V.Kotlyarov, T.Weigert. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. Computer Networks, 47, 2005, 662-675

A.A. Letichevsky, J.V. Kapitonova, A.B. Godlevsky, V.A. Volkov, S.N. Baranov Check of the Correcctness of Requirements to Program Systems Represented by Transition Systems.Cybernetics and System Analyses, (6):3-12, 2003

A.A.Letichevsky, J.V.Kapitonova, A.B.Godlevsky, V.A.Volkov, Evidence Algorithm and its extension (extended abstract), in Proceedings of the International Workshop on Logic and Complexity in Computer Science, University Paris 12, Creteil, France, Sept. 3-5, 2001, pp159-167

A.A.Letichevsky, J.V,Kapitonova, Insertion modeling (in Russian),Proceedings of the International conference devoted to 50 years of the Glushkov Institute of Cybernetics, Kiev 2008

A. Letichevsky, J. Kapitonova, V. Volkov, V. Vyshemirskii, and A. Letichevsky Jr. Insertion programming. Cybernetics and System Analysis, (1):19–32, January-February 2003.

A. Letichevsky, J. Kapitonova, V. Kotlyarov, A. Letichevsky Jr, N. Nikitchenko, V. Volkov, and T. Weigert. Insertion modeling in distributed system design. Problems in Programming (ISSN 1727-4907), 4 , 2008, 13–39

A. Letichevsky and D. Gilbert, Interaction of agents and environments, in: Resent trends in Algebraic Development technique, LNCS 1827 (D. Bert and C. Choppy, eds.), Springer-Verlag, 1999

A.A. Letichevsky, J.V. Kapitonova, V.P. Kotlyarov, V.A. Volkov, A.A.Letichevsky Jr., and T.Weigert. Semantics of Message Sequence Charts, SDL Forum, 2005

A. Letichevsky, J. Kapitonova, S.N. Baranov, V. Kotlyarov, A. Letichevsky Jr, and V. Volkov Semantics of Timed MSC Language Cybernetics and System Analysis, (4), 2002

A.A.Letichevsky, J.V.Kapitonova, V.A.Volkov, A.A.Letichevsky, jr., S.N.Baranov, V.P.Kotlyarov, T.Weigert. System Specification with Basic Protocols, Cybernetics and System Analyses, 4, 2005.

J. Kapitonova, A. Letichevsky, V. Volkov, and T. Weigert. Validation of Embedded Systems. In R. Zurawski, editor. The Embedded Systems Handbook. CRC Press, Miami, 2005

A. Letichevsky, J. Kapitonova, V. Kotlyarov, S. Baranov The Main Features of VRS