• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

From Action Systems to Distributed Systems - The Refinement Approach

Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems - The Refinement Approach, Computer and Information Science Series, Taylor & Francis, 2016.

http://dx.doi.org/10.1201/b20053

Abstract:

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.

Kaisa Sere (1954-2012) was a Finnish computer scientist, professor of Computer Science and
Engineering at Åbo Akademi University, Turku, Finland. She is well-known for her research in
formal methods for distributed systems, using refinement and action systems. She was a role
model to her peers and students, a remarkably positive, energetic, and inspirational researcher. Kaisa Sere had an impressive number of research collaborators; this book is their collective dedication to her memory.

BibTeX entry:

@BOOK{ePeSe16a,
  title = {From Action Systems to Distributed Systems - The Refinement Approach},
  series = {Computer and Information Science Series},
  editor = {Petre, Luigia and Sekerinski, Emil},
  publisher = {Taylor & Francis},
  year = {2016},
  ISBN = {978-1-4987-0158-7},
  ISSN = {978-0-335; 978-0-415; 978-0-84},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 2

Edit publication