Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

The Journal of Logic and Algebraic Programming 78 (2008) 52 Contents lists available at ScienceDirect

Summary: The Journal of Logic and Algebraic Programming 78 (2008) 52
Contents lists available at ScienceDirect
The Journal of Logic and Algebraic Programming
journal homepage: www.elsevier.com/locate/jlap
Book Review
Reactive Systems: Modelling, Specification and Verification. Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri
Srba. Cambridge University Press (2007). ISBN-13: 9780521875462
This is a good textbook from 4 well-known researchers in the concurrency area. It is meant for an advanced undergraduate
or elementary graduate course on reactive systems (alternatively called parallel or distributed systems). It treats some well-
known formal methods used for modeling, specifying and verifying such systems, and discusses how to use tools underlying
these methods.
It discusses a basic process algebra (CCS), transition systems and bisimulation, a basic logic (HML) and model checking,
and in the second half of the book extends all of these notions with explicit timing. As such, it is fitting for beginners in the
area of verification, and for an obligatory course in any computer science curriculum. Students passing the course will have
gotten a general idea what formal methods are about.
It pays a lot of attention to didactics, and has good exercises. A teacher using this book can just follow the material as it
is presented, it is at the right level of depth, and the exercises and examples are nice and well elaborated. Sometimes, for
the more difficult exercises there is a disbalance, i.e. it is not completely clear where they come from, whether there is a
didactical reason for their place in the book.
The authors have wanted to stick to the original theories, as they were originally presented by Milner, Hennessy and


Source: Aceto, Luca - School of Computer Science, Reykjavík University


Collections: Mathematics; Computer Technologies and Information Sciences