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

Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle. An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. In Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia, editors, SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Volume 5404 of Lecture Notes in Computer Science, pages 485-496, Springer, 2009. [doi]

Abstract

Abstract is missing.