Concurrency, Compositionality, and Correctness
Download or Read eBook Concurrency, Compositionality, and Correctness PDF written by Dennis Dams and published by Springer Science & Business Media. This book was released on 2010-02-24 with total page 383 pages. Available in PDF, EPUB and Kindle.
| Author | : Dennis Dams |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 383 |
| Release | : 2010-02-24 |
| ISBN-10 | : 9783642115110 |
| ISBN-13 | : 364211511X |
| Rating | : 4/5 (10 Downloads) |
Book Synopsis Concurrency, Compositionality, and Correctness by : Dennis Dams
Book excerpt: This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs. The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.
