{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":37,"n_cols":5,"rows_kept":37,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[31,2,31,3],[32,2,32,3],[34,2,34,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990005410950403321"]
[null,null,"Autore",null,"Seneca, Lucius Annaeus <5/4 a.C.-65 d.C.>"]
[null,null,"Titolo",null,"L. Annæi Senecæ pars tertia sive Opera tragica quæ ad parisinos codices nondum collatos recensuit novisque commentariis illustravit J. Pierrot ... Volumen primum [-tertium]"]
[null,null,"Pubbl/distr/stampa",null,"Parisiis : colligebat Nicolaus Eligius Lemaire, 1829-1832 ( ([Parigi]) : excudebat A. Firminus Didot, gallicarum academiarum typographus"]
[null,null,"Descrizione fisica",null,"3 v. (clxiii, 499 p. ; viii, 567 p. ; 282 p.) ; 22 cm"]
[null,null,"Collana",null,"Bibliotheca classica Latina sive Collectio auctorum classicorum Latinorum cum notis et indicibus"]
[null,null,"Disciplina",null,"870"]
[null,null,"Locazione",null,"FLFBC"]
[null,null,"Collocazione",null,"SG 870/BCL 89"]
[{"$nulls":4},"SG 870/BCL 90"]
[{"$nulls":4},"SG 870/BCL 91"]
[{"$nulls":4},"SG 870/BCL 89 BIS"]
[{"$nulls":4},"SG 870/BCL 90 BIS"]
[{"$nulls":4},"SG 870/BCL 91 BIS"]
[null,null,"Lingua di pubblicazione",null,"Latino"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Colophon sul verso dell'occhietto"]
[null,"2.","Record Nr.",null,"UNISA996678677503316"]
[null,null,"Autore",null,"Meseguer José"]
[null,null,"Titolo",null,"Concurrent Programming, Open Systems and Formal Methods : Essays Dedicated to Gul Agha to Celebrate His Scientific Career / / edited by Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026"]
[null,null,"ISBN",null,"3-032-05291-2"]
[null,null,"Edizione",null,"[1st ed. 2026.]"]
[null,null,"Descrizione fisica",null,"1 online resource (777 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 16120"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Theory of Computation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Actors and Concurrent Programming -- Open Systems and Applications -- Formal Methods."]
[null,null,null,"Sommario/riassunto","This 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 "]
[{"$nulls":4},"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."]