Generating priority rewrite systems for OSOS process languages
Information and Computation
PREG axiomatizer: a ground bisimilarity checker for GSOS with predicates
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Hi-index | 0.00 |