From Action Systems to Distributed Systems

A tribute to Professor Kaisa Sere’s contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach presents state-of-the-art information on the themes of distributed systems and refinement. This is the first book to examine the impact of refinement through a multitude of formal methods ranging from Action Systems to numerous related approaches in computer science research. Presenting scientific contributions from renowned researchers around the world, this edited book consists of five sections: Modeling, Analysis, Proof, Refinement, and Applications. Each chapter in this book has been thoroughly reviewed by experts in the field.