PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Inglfsdttir

Browse the full CALCO paper archive.