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 social gathering of his sixtieth birthday.
Frank S. de Boer is a in demand member of the examine neighborhood in formal tools and theoretical laptop technology. a quick examine his long ebook checklist unearths a huge niche and a flexible modus operandi with: common sense and constraint programming; deductive facts platforms, soundness, and completeness; semantics, compositionality, and whole abstraction; method algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal common sense; real-time structures, timed automata, and schedulability; firm architectures, choreography, and coordination; trying out and runtime tracking; and cloud computing and service-level agreements. For some time, he additionally beloved mess ups, specifically in semantics, and confidently concluded with the failure of mess ups. in reality, Frank has an opportunistic method of examine. instead of seeing hindrances, he reveals opportunities.

Show sample text content

Download sample