Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)


This Festschrift quantity has been released in honor of Frank de Boer, at the party of his sixtieth birthday.
Frank S. de Boer is a admired member of the learn group in formal equipment and theoretical machine technological know-how. a quick examine his long book record unearths a extensive niche and a flexible modus operandi with: common sense and constraint programming; deductive evidence platforms, soundness, and completeness; semantics, compositionality, and entire abstraction; procedure algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal common sense; real-time platforms, timed automata, and schedulability; company architectures, choreography, and coordination; checking out and runtime tracking; and cloud computing and service-level agreements. For your time, he additionally loved mess ups, particularly in semantics, and hopefully concluded with the failure of mess ups. in truth, Frank has an opportunistic method of learn. instead of seeing hindrances, he reveals opportunities.

Show sample text content

Download sample