I would like to find a free software (running under Windows 8) which could simulate every single step of Process Algebras of the most general form as given in the Handbook of Process Algebras and some of decidable questions about decidable problems about them. I.e. esp. I do not want that it would be limited to linear time, colored,finite-state or otherwise restricted class of them from the very beginning. I understand that many questions will be undecidable, but I still want to design my own model in this generality and simulate it step by step.