TY - BOOK AU - Fokkink Wan TI - Modelling distributed systems SN - 978-3-540-73937-1 U1 - 004.36 PY - 2007/// CY - Berlin PB - Springer-Verlag KW - Distributed systems ER -