Frank de Boer - Böcker
Visar alla böcker från författaren Frank de Boer. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Häftad, Engelska, 2012
1 024 kr
Skickas inom 7-10 vardagar
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Inbunden, Engelska, 2001
3 058 kr
Skickas inom 7-10 vardagar
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Häftad, Engelska, 2020
606 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Del 14360 - Lecture Notes in Computer Science
Active Object Languages: Current Research Trends
Häftad, Engelska, 2024
823 kr
Skickas inom 10-15 vardagar
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification.
Del 9109 - Lecture Notes in Computer Science
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Häftad, Engelska, 2015
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Häftad, Engelska, 2018
551 kr
Skickas inom 10-15 vardagar
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory, Coordination Models and Languages, Parallel and Distributed Computing, Visual Programming Environments, Constraints, Logic and Object-Oriented Programming.Farhad Arbab has shaped the field of Coordination Models and Languages. His insight that it is all about exeogeneous coordination gave rise to the striking elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel composition. Reo has been extremely successful and is having a great impact in many of the areas mentioned above.The present volume collects a number of papers by several of Farhad’s close collaborators over the years.