Book

Logics and Models of Concurrent Systems

by Krzysztof R. Apt