دانلود کتاب برنامه‌نویسی همزمان، سیستم‌های باز و روش‌های رسمی

This Festschrift gathers contributions from a wide range of international researchers to honor the lifelong scientific and teaching accomplishments of Prof. Gul Agha, a leading computer science researcher and educator with worldwide recognition for his work on software engineering, formal methods, programming languages, concurrency theory, distributed systems, and cyber-physical systems. The papers were presented at a symposium held at the Chicago Campus of the Siebel School of Computing and Data Science of the University of Illinois, Urbana-Champaign on October 6–7, 2025. This volume and the symposium collectively provide a broad and in-depth understanding of the scientific impact of Prof. Agha’s ideas, which have inspired the work of many other researchers worldwide. Gul Agha obtained his undergraduate degree at Caltech in 1977. He obtained his A.M (1980), M.S. (1982) and Ph.D. (1985) degrees at the University of Michigan, Ann Arbor, with John Holland (University of Michigan) and Carl Hewitt (MIT) as co-advisors. Prior to starting as an assistant professor at the University of Illinois, Urbana-Champaign (UIUC) in 1989, Gul was a Research Scientist and Lecturer at the MIT Artificial Intelligence Laboratory, and subsequently in the Department of Computer Science, Yale University. Prof. Agha created the Open Systems Laboratory at UIUC, where he developed many of his most important ideas and has trained several generations of young researchers who have disseminated and further expanded these ideas in academia and industry. His work is very highly cited worldwide and has been recognized through many prestigious awards and honors. He has made fundamental contributions to concurrency theory, con-current programming languages, composition and reflective adaptation of concurrent systems, formal methods, probabilistic systems and their statistical and probabilistic model checking analysis, software testing, and cyber-physical systems. Open systems have significantly revolutionized concurrent computation theories, since they must support the addition of new components, the replacement of existing components, and dynamic changes in component interconnections. All these proper-ties were beyond the scope of prior concurrency models such as Petri Nets, Milner’s Calculus of Communicating Systems (CCS), and Hoare’s Communicating Sequential Processes (CSP). Prof. Agha’s work on the Actor model of computation formalized open systems properties, and directly influenced the development of further concurrency the-ories such as Milner et al.’s Π calculus. In contrast to prior concurrency theories, the Π calculus incorporates process mobility, or dynamic reconfiguration of process intercon-nections. This mobility of processes was motivated by the actor model of computation, as Milner himself expressed in his 1993 Turing Award lecture. At the programming language level, the flexibility of message-passing communication together with the dis-tributed object-oriented abstraction provided by actors with their own internal state has revolutionized the area of programming languages, where nowadays many of the most advanced languages support various variants of the Actor model.