LEADER 03632nam  2200577Ia 450 
001 9910484657103321
005 20200520144314.0
010   $a1-280-38555-3
010   $a9786613563477
010   $a3-642-11512-8
024 7 $a10.1007/978-3-642-11512-7
035   $a(CKB)2560000000000990
035   $a(SSID)ssj0000355471
035   $a(PQKBManifestationID)11267516
035   $a(PQKBTitleCode)TC0000355471
035   $a(PQKBWorkID)10340890
035   $a(PQKB)10834633
035   $a(DE-He213)978-3-642-11512-7
035   $a(MiAaPQ)EBC3065042
035   $a(PPN)149073615
035   $a(EXLCZ)992560000000000990
100   $a20100401d2010      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aConcurrency, compositionality, and correctness $eessays in honor of Willem-Paul de Roever /$fDennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
205   $a1st ed. 2010.
210   $aBerlin ;$aNew York $cSpringer$dc2010
215   $a1 online resource (377 p. 94 illus.) 
225 1 $aLecture notes in computer science ;$v5930
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-11511-X 
320   $aIncludes bibliographical references and index.
327   $aA 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.
330   $aThis 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.
410  0$aLecture notes in computer science ;$v5930.
606   $aComputer science
615  0$aComputer science.
676   $a004
701   $aDams$b Dennis$01751455
701   $aHannemann$b Ulrich$01751456
701   $aSteffen$b Martin$01751457
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484657103321
996   $aConcurrency, compositionality, and correctness$94186438
997   $aUNINA