Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen