Joost-Pieter Katoen Pedro R. D'Argenio General Distributions in Process Algebra. 375-430 2000 conf/eef/2000 European Educational Forum: School on Formal Methods and Performance Analysis http://link.springer.de/link/service/series/0558/bibs/2090/20900375.htm db/conf/eef/eef2000.html#KatoenD00