Modelling Distributed Systems - Fokkink, Wan.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation; Theory of Computation