Horizons of the Mind. A Tribute to Prakash Panangaden

Horizons of the Mind. A Tribute to Prakash Panangaden
Author :
Publisher : Springer
Total Pages : 514
Release :
ISBN-10 : 9783319068800
ISBN-13 : 3319068806
Rating : 4/5 (806 Downloads)

Book Synopsis Horizons of the Mind. A Tribute to Prakash Panangaden by : Franck van Breugel

Download or read book Horizons of the Mind. A Tribute to Prakash Panangaden written by Franck van Breugel and published by Springer. This book was released on 2014-05-23 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science.


Horizons of the Mind. A Tribute to Prakash Panangaden Related Books

Horizons of the Mind. A Tribute to Prakash Panangaden
Language: en
Pages: 514
Authors: Franck van Breugel
Categories: Computers
Type: BOOK - Published: 2014-05-23 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate h
Dependable Software Engineering: Theories, Tools, and Applications
Language: en
Pages: 342
Authors: Martin Fränzle
Categories: Computers
Type: BOOK - Published: 2016-10-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETT
Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 315
Authors: Sergiy Bogomolov
Categories: Computers
Type: BOOK - Published: 2022-08-28 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Wars
Coordination Models and Languages
Language: en
Pages: 246
Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2022-06-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in
Automated Technology for Verification and Analysis
Language: en
Pages: 569
Authors: Shuvendu K. Lahiri
Categories: Computers
Type: BOOK - Published: 2018-09-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los