Concurrent Programming, Open Systems and Formal Methods

Concurrent Programming, Open Systems and Formal Methods

 

114,88 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2025
ISBN:
9783032052902
114,88 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

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 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. 

Artículos relacionados

  • Poetry Is Our Ministry to Touch the Heart
    Anelda Lukesia Ballard / Jean Anelda Scott
    Poetry is Our Ministry to Touch the Heart, was birthed when Anelda L. Ballard became ill. God spoke to her in a dream and said 'pick up a pen and write' by being obedient this book was written through the Holy Spirit. Anelda and her mother Jean A. Scott believes that God’s wants to heal a hurting heart. This book will inspire you and encourage you to never give up hope. Jesu...
    Disponible

    11,12 €

  • I soldati lunghi
    Pierluigi Romeo di Colloredo Mels
    Il 24 maggio 1915 il Regno d’Italia entrò nella Grande Guerra, che si sarebbe dimostrata il momento più alto e tragico della sua storia, a poco più di cinquant’anni dalla sua unificazione.In quella lotta tremenda durata quattro anni, la Brigata Granatieri di Sardegna , con i suoi due valorosi Reggimenti, i più antichi del Regio Esercito scrisse, nel grande quadro della guerra d...
    Disponible

    32,59 €

  • Five Beneath Philly
    Susan Bandy / Tom Richmond
    Allen Williams plans to make something of his life and escape South Philly and the work at Cross Brothers’ Meat Packing Plant. He prepares himself with excellent grades and an upcoming full-ride scholarship to climb out of South Philly forever. Then fate changes his whole world. An only son in a family of six, Allen suddenly finds himself responsible for his mother, grandmother...
    Disponible

    18,28 €

  • Forms
    Sharon Welch
    I am an award-winning artist and my works hang in private residences, community hospitals, businesses, and restaurants across the US and also abroad.  I live in Pierre, South Dakota. Since 2008 I have owned Sharon Welch Gallery and Studio where I paint and teach classes.  My theory is have fun, remove the fear of failure, experiment and let the child inside of you play.Very oft...
  • Ricordi di una ausiliaria
    Andrea Lombardi / Raffaella Duelli
    Le memorie di Raffaella Duelli, Volontaria nel Battaglione Barbarigo della Decima Flottiglia Mas iniziano con la partenza del Barbarigo da Roma, narrando la lunga marcia del reparto verso il nord, sotto il mitragliamento degli aerei Alleati. Quindi, è descritta vividamente l'ultima battaglia del Barbarigo sul Fronte Sud, dal Senio a Comacchio: gli appunti di Raffaella, giov...
    Disponible

    28,08 €

  • Why Didn’t You Ask?
    Panya Dixon
    From an early occurrence in her childhood to a perilous thirteen-year relationship, Panya Dixon too often suffered from various forms of physical, emotional, and sexual abuse. Conflicted between love and the pain her loved ones brought on her, she consistently had to fight for her life and her will to move on. Why Didn’t You Ask? is an expression of Panya’s truth—her trials, pa...
    Disponible

    20,35 €