Willkommen, schön sind Sie da!
Logo Ex Libris

Concurrency, Compositionality, and Correctness

  • E-Book (pdf)
  • 377 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourpers... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 100.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwritersaddressinganaudienceofreaders-you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third , and you have had a profound impact on our formation as computer scientists.Atthepersonallevel,weknowyouasakind-hearted,generousperson. We are grateful to know you in these ways, and hope to have encounters with you in many years to come. AnotherlikelypossibilityisthatyouareCorinneorJojanneke,wifeordau- ter of Willem; the two strong pillars on which so much in his life is founded. You share the honor,respect, and love that went into the writing, as will be ackno- edged by those contributing authors that know you - which are almost all. Also, we would like to thank you for your help in sending us photographs for inclusion in this book, and for your encouragement. The next option is that you are one of the contributing authors. In this case you may wonder why it took us so long to get this work published. After all, wasn'tit"almostdone"alreadyattheretirementeventinJuly2008?Theanswer is twofold: we gave everyone ample time to revise their submissions in line with the recommendations by the referees; and we ourselves took ample time to put everything together. Our hope is that this will be visible in the quality of the ?nal result.



Inhalt

A Bibliography of Willem-Paul de Roever.- Playing Savitch and Cooking Games.- Compositionality: Ontology and Mereology of Domains.- Computer Science and State Machines.- A Small Step for Mankind.- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.- Explicit Fair Scheduling for Dynamic Control.- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.- Reasoning about Recursive Processes in Shared-Variable Concurrency.- Formal Semantics of a VDM Extension for Distributed Embedded Systems.- A Proof System for a PGAS Language.- Concurrent Objects à la Carte.- On the Power of Play-Out for Scenario-Based Programs.- Proving the Refuted: Symbolic Model Checkers as Proof Generators.- Meanings of Model Checking.- Smaller Abstractions for ?CTL* without Next.- Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.- Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.- Automated Proofs for Asymmetric Encryption.- Counterexample Guided Path Reduction for Static Program Analysis.

Produktinformationen

Titel: Concurrency, Compositionality, and Correctness
Untertitel: Essays in Honor of Willem-Paul de Roever
Editor:
EAN: 9783642115127
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 377
Veröffentlichung: 12.02.2010
Dateigrösse: 7.5 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"

Zuletzt angesehen
Verlauf löschen