Tarasyuk I. A notion of congruence for dtsPBC // Computer Science. — 2008 . — # 28.  — P. 121-141
Anureev I. Domain-specific transition systems and their application to a formal definition of a model programming language // Computer Science. — 2014 . — # 37.  — P. 23-39
Tarasyuk I. Iteration in discrete time stochastic Petri box calculus // Computer Science. — 2006 . — # 24.  — P. 129-148
Anureev I. Maryasov I. Mikhailov I. Method of the development of ontological operational semantics for imperative programming languages // Computer Science. — 2016 . — # 40.  — P. 15–35
Anureev I. Operational semantics development for procedural programming languages based on conceptual transition systems // Computer Science. — 2015 . — # 38.  — P. 1-28
Shelekhov V. The language of calculus of computable predicates as a minimal kernel for functional languages // Computer Science. — 2009 . — # 29.  — P. 107-117
Subscribe to operational semantics