Reactive Systems: Modelling, Specification and Verification van Luca Aceto, Anna Ingólfsdóttir en Kim Guldstrand Larsen is een Engelstalig studieboek over formele methoden voor reactive en distributed systems.
Het boek behandelt process algebra, operational semantics, bisimulation, modal logic en timed systems. De nadruk ligt op het modelleren, specificeren en verifiëren van software- en communicatiesystemen met wiskundige technieken.
ISBN: 9780521875462.