Tribastone, Mirco  Bottom-up beats top-down hands down.   In:  Proceedings of the 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA).   AESOP, pp. 97-104.     (Unpublished)   (2007)