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