LEADER 03493nam  22005535  450 
001 996678677503316
005 20251017113413.0
010   $a3-032-05291-2
024 7 $a10.1007/978-3-032-05291-9
035   $a(MiAaPQ)EBC32318907
035   $a(Au-PeEL)EBL32318907
035   $a(CKB)41008457800041
035   $a(OCoLC)1544989147
035   $a(DE-He213)978-3-032-05291-9
035   $a(EXLCZ)9941008457800041
100   $a20251017d2026      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aConcurrent Programming, Open Systems and Formal Methods $eEssays Dedicated to Gul Agha to Celebrate His Scientific Career /$fedited by Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (777 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16120
311 08$a3-032-05290-4 
327   $aActors and Concurrent Programming -- Open Systems and Applications -- Formal Methods.
330   $aThis Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees at the University of Michigan, Ann Arbor. His thesis led to the MIT Press book Actors: A Model of Concurrent Computation in Distributed Systems, a work cited nearly 5000 times. After researcher and lecturer appointments at MIT and Yale, he moved to the University of Illinois, Urbana-Champaign, where he started as an assistant professor in 1989 and subsequently become a full professor and the founding director of the Open Systems Laboratory. The team?s goal is to develop concurrent programming languages and systems that support applications with high-performance, fault-tolerance or real-time requirements, and this work has been very influential across domains such as Software Engineering, Formal Methods, Programming Languages, Concurrency Theory, Distributed Systems, and Cyber-Physical Systems. Gul Agha is a Fellow of the IEEE and a Fellow of the ACM, other honors include the IBM Faculty Award, the ONR Young Investigator Award, and the ACM Recognition of Service Award. Over the course of his career Gul has been a highly impactful mentor, and he has collaborated in research and in publications with a wide range of scientists and engineers, in academia and in industry. Beyond his deep expertise, they have been inspired by his well-rounded intellect, philosophy of life, and sense of humor, and their successes are reflected in the papers contributed to this volume.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16120
606   $aSoftware engineering
606   $aComputer science
606   $aSoftware Engineering
606   $aTheory of Computation
615  0$aSoftware engineering.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
676   $a005.1
700   $aMeseguer$b Jose?$00
701   $aVarela$b Carlos A$01849892
701   $aVenkatasubramanian$b Nalini$01402684
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996678677503316
996   $aConcurrent Programming, Open Systems and Formal Methods$94442698
997   $aUNISA