Focusing on the complexities of programming interactive computing systems, this volume provides a comprehensive introduction to temporal logic as a specification tool for reactive systems. It presents a foundational understanding of the computational model for reactive programs, developed by renowned scholars Zohar Manna and Amir Pnueli. The text serves as an essential resource for those delving into the challenges of real-time, concurrent, and control systems, making it a valuable reference for both students and professionals in the field.
This volume presents the final proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, held in Novosibirsk, Russia, from June 15–19, 2009. The conference serves as a platform for academic and industrial researchers, developers, and users engaged in computer, software, and information sciences. It aims to bridge gaps between various communities involved in program and system development, programming methodology, software engineering, and information technologies. Dedicated to the memory of the esteemed scientist Andrei Ershov and the 50th anniversary of the Programming Department he founded, the event honors his contributions to computer science in Russia. Established initially within the Institute of Mathematics, the department became part of the Computing Center of the Siberian Branch of the USSR Academy of Sciences in 1964. Ershov assembled a talented team of graduates, leading to significant projects such as the development of the ALPHA system, an optimizing compiler for an extension of Algol 60 on the Soviet M-20 computer. The department also created programming systems like Algibr, Epsilon, Sigma, and Alpha-6 for BESM-6 computers, as well as the first Soviet time-sharing system AIST-0, the multi-language system BETA, and various research projects in artificial intelligence, parallel programming, and text processing.
