Tschaikowski, Max and Tribastone, Mirco  Exact fluid lumpability for Markovian process algebra.   In:  CONCUR 2012 – Concurrency Theory.   Lecture Notes in Computer Science  (7454).  Springer, pp. 380-394.  ISBN 978-3-642-32939-5      (2012)