process-oriented programming

V. Zyubin T. Liakh Model Checking of industrial control algorithms in combination with virtual objects // System Informatics. — . — # 8.  — P. 11-20
N. Garanina S. Staroletov V. Zyubin I. Anureev Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — . — # 22.  — P. 21-30
I. Chernenko Pattern-based approach to automation of deductive verification of process-oriented programs // System Informatics. — . — # 25.  — P. 11-28
V. Zyubin T. Liakh A. Rozov Reflex Language: a Practical Notation for Cyber-Physical Systems // System Informatics. — . — # 12.  — P. 85-104
Subscribe to process-oriented programming