An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.

Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle

Browse the full SOFSEM paper archive.