FEEDBACK Smiley face
Normal view MARC view ISBD view

Concurrency, Compositionality, and Correctness [electronic resource] :Essays in Honor of Willem-Paul de Roever /

Contributor(s): Dams, Dennis [editor.] | Hannemann, Ulrich [editor.] | Steffen, Martin [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 5930Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Description: 377 p. 94 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642115127.Subject(s): Computer science | Software engineering | Programming languages (Electronic computers) | Computers | Computer logic | Mathematical logic | User interfaces (Computer systems) | Computer Science | Software Engineering/Programming and Operating Systems | Programming Languages, Compilers, Interpreters | User Interfaces and Human Computer Interaction | Logics and Meanings of Programs | Computation by Abstract Devices | Mathematical Logic and Formal LanguagesOnline resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in